diff options
| author | Thomas Letan <lthms@soap.coffee> | 2022-08-07 19:40:30 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2022-08-07 19:40:30 +0200 |
| commit | 72a3cab663c193e72556a7ba1c4469f3489a41a2 (patch) | |
| tree | 2fe7d3b047e0c7a210b887ed570c24e5fda804f3 /.gitignore | |
| parent | Fix stacked git summary (diff) | |
Add a new post about rank-n types in OCaml
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |