From d286258f7c05b1a98f9a9aea388690a85246fd87 Mon Sep 17 00:00:00 2001
From: alyx <alyx@aleteoryx.me>
Date: Wed, 8 Jun 2022 17:43:49 +0000
Subject: Type intersecting is fully implemented.

---
 index.html | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 5b0d7a3..9cac405 100644
--- a/index.html
+++ b/index.html
@@ -42,6 +42,27 @@
 		</section>
 		<button id="enabler" onclick="reloader();">Click to enable offline use!</button>
 		<section id="changelog">
+			<article>
+				<h1>June 8, 2022 - <code>
+					<span style="color:lightblue;">typedef</span>
+					(<span style="color:crimson;">you</span>|<span style="color:crimson;">me</span>)
+					<span style="color:khaki;">Frosty</span>;</code></h1>
+				<hr>
+				<ul>
+					<li>Continued work on type inference logic.</li>
+					<ul>
+						<li><q>as well as plenty of methods for computing intersections between them.</q></li>
+						<li>But actually now! The <code><span style="color:khaki;">intersect</span>(<span style="color:crimson;">T1</span>,<span style="color:crimson;">T2</span>)</code> function generates the intersection between 2 types.</li>
+						<li>Support exists for things as dense as nested unions, even.</li>
+						<li><b>As Always:</b></li>
+						<ul>
+							<li>You can view it at <a href="/types.html">types.html</a>, by opening the DevTools console or reading the table.</li>
+							<li>The actual logic is contained in <code>/lib/types.js</code>.</li>
+						</ul>
+					</ul>
+					<li>Adjusted the frosted glass a bit.</li>
+				</ul>
+			</article>
 			<article>
 				<h1>June 6, 2022 - Just the same as you and me!</h1>
 				<hr>
-- 
cgit v1.2.3-54-g00ecf