From 3739ce5d1969df71f272d18a3ff8b5e13cd27f4f Mon Sep 17 00:00:00 2001
From: Akshay <nerdy@peppe.rs>
Date: Thu, 18 Jun 2020 10:39:57 +0530
Subject: new post: turing complete type systems

---
 docs/index.html | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'docs/index.html')

diff --git a/docs/index.html b/docs/index.html
index f745423..003835c 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -33,6 +33,23 @@
         <p>Send me a mail at nerdy@peppe.rs or a message at nerd@irc.rizon.net.</p>
     </div>
     <table>
+    <tr>
+        <td class=table-post>
+            <div class="date">
+                18/06 — 2020
+            </div>
+            <a href="/posts/turing_complete_type_systems" class="post-link">
+                <span class="post-link">Turing Complete Type Systems</span>
+            </a>
+        </td>
+        <td class=table-stats>
+            <span class="stats-number">
+                0.8
+            </span>
+            <span class=stats-unit>min</span>
+        </td>
+    </tr>
+    
     <tr>
         <td class=table-post>
             <div class="date">
-- 
cgit v1.2.3