Publish 'Calculus of Constructions in 60 Lines of Ocaml'

hirrolot · hirrolot · commit 27d5fe6e0a1a · 2025-04-22T21:07:04.000-04:00
diff --git a/metadata/posts.json b/metadata/posts.json
@@ -1,4 +1,10 @@
 [
+    {
+        "name": "CoC-60",
+        "title": "Calculus of Constructions in 60 Lines of Ocaml",
+        "date": "Apr 22, 2025",
+        "redirect-to": "https://gist.github.com/hirrolot/c89baa9b83c7da9b87146be88e560351"
+    },
     {
         "name": "sat-supercompilation",
         "title": "Solving SAT via Positive Supercompilation",
diff --git a/rss.xml b/rss.xml
@@ -4,6 +4,11 @@
         <link>https://hirrolot.github.io/</link>
         <description>My blog about programming and computer science.</description>
         <language>en-us</language>
+        <item>
+            <title>Calculus of Constructions in 60 Lines of Ocaml</title>
+            <guid>https://hirrolot.github.io/posts/CoC-60.html</guid>
+            <pubDate>Thu, 23 Apr 2025 00:00:00 GMT</pubDate>
+        </item>
         <item>
             <title>Solving SAT via Positive Supercompilation</title>
             <guid>https://hirrolot.github.io/posts/sat-supercompilation.html</guid>

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,10 @@`
`1`	`1`	`[`
	`2`	`+ {`
	`3`	`+ "name": "CoC-60",`
	`4`	`+ "title": "Calculus of Constructions in 60 Lines of Ocaml",`
	`5`	`+ "date": "Apr 22, 2025",`
	`6`	`+ "redirect-to": "https://gist.github.com/hirrolot/c89baa9b83c7da9b87146be88e560351"`
	`7`	`+ },`
`2`	`8`	`{`
`3`	`9`	`"name": "sat-supercompilation",`
`4`	`10`	`"title": "Solving SAT via Positive Supercompilation",`