diff options
| author | Thomas Letan <lthms@soap.coffee> | 2023-05-01 17:30:13 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2023-05-01 17:30:13 +0200 |
| commit | 1dff057cb0f245c899f95fc97957364343fa2899 (patch) | |
| tree | 2640d7d3b18515e7fe273c9b8ff1cb4beae52363 /.gitignore | |
| parent | Let’s celebre the release of Spatial Shell 1 (diff) | |
Blogpost and OCaml, tree-sitter and LSP in neovim
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -46,6 +46,7 @@ logs/site--posts--index.html.stderr logs/site--posts--Ltac.html.stderr logs/site--posts--meta.html.stderr logs/site--posts--miscellaneous.html.stderr +logs/site--posts--NeoVimOcamlInterfacesAndLSP.html.stderr logs/site--posts--RankNTypesInOCaml.html.stderr logs/site--posts--StronglySpecifiedFunctions.html.stderr logs/site--posts--Thanks.html.stderr @@ -85,6 +86,7 @@ logs/site--posts--index.html.stdout logs/site--posts--Ltac.html.stdout logs/site--posts--meta.html.stdout logs/site--posts--miscellaneous.html.stdout +logs/site--posts--NeoVimOcamlInterfacesAndLSP.html.stdout logs/site--posts--RankNTypesInOCaml.html.stdout logs/site--posts--StronglySpecifiedFunctions.html.stdout logs/site--posts--Thanks.html.stdout @@ -149,6 +151,7 @@ site/posts/MixingLtacAndGallina.html site/posts/MixingLtacAndGallina.vo site/posts/MixingLtacAndGallina.vok site/posts/MixingLtacAndGallina.vos +site/posts/NeoVimOcamlInterfacesAndLSP.html site/posts/RankNTypesInOCaml.html site/posts/RewritingInCoq.glob site/posts/RewritingInCoq.html |