From 72a3cab663c193e72556a7ba1c4469f3489a41a2 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 7 Aug 2022 19:40:30 +0200
Subject: Add a new post about rank-n types in OCaml

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 6cec8ff..8dcd287 100644
--- a/.gitignore
+++ b/.gitignore
@@ -86,6 +86,7 @@ site/posts/MixingLtacAndGallina.html
 site/posts/MixingLtacAndGallina.vo
 site/posts/MixingLtacAndGallina.vok
 site/posts/MixingLtacAndGallina.vos
+site/posts/RankNTypesInOCaml.html
 site/posts/RewritingInCoq.glob
 site/posts/RewritingInCoq.html
 site/posts/RewritingInCoq.vo
-- 
cgit v1.2.3