From 2706544cf000a6f9875e81f86d885d4dc68dfb23 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Thu, 10 Dec 2020 14:15:24 +0100
Subject: Add a Series on coqffi, and the first literate program of this blog

---
 .gitignore | 81 ++++++++++++++++++++++++++++++++++++++++++++++++--------------
 1 file changed, 63 insertions(+), 18 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4fadbbb..3dff654 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,11 @@
+*~
 
 # begin generated files
 .cleopatra
 site/style/coq.sass
 coq.mk
+export-lp.el
+literate-programming.mk
 .emacs
 site/style/org.sass
 org.mk
@@ -25,36 +28,78 @@ theme.mk
 site/style/main.sass
 templates/main.html
 build.log
-*.vo
-*.vok
-*.vos
-.*.aux
-*.glob
+site/posts/RewritingInCoq.vo
+site/posts/StronglySpecifiedFunctionsRefine.vo
+site/posts/AlgebraicDatatypes.vo
+site/posts/MixingLtacAndGallina.vo
+site/posts/LtacPatternMatching.vo
+site/posts/ClightIntroduction.vo
+site/posts/StronglySpecifiedFunctionsProgram.vo
+site/posts/LtacMetaprogramming.vo
+site/posts/RewritingInCoq.vok
+site/posts/StronglySpecifiedFunctionsRefine.vok
+site/posts/AlgebraicDatatypes.vok
+site/posts/MixingLtacAndGallina.vok
+site/posts/LtacPatternMatching.vok
+site/posts/ClightIntroduction.vok
+site/posts/StronglySpecifiedFunctionsProgram.vok
+site/posts/LtacMetaprogramming.vok
+site/posts/RewritingInCoq.vos
+site/posts/StronglySpecifiedFunctionsRefine.vos
+site/posts/AlgebraicDatatypes.vos
+site/posts/MixingLtacAndGallina.vos
+site/posts/LtacPatternMatching.vos
+site/posts/ClightIntroduction.vos
+site/posts/StronglySpecifiedFunctionsProgram.vos
+site/posts/LtacMetaprogramming.vos
+site/posts/RewritingInCoq.glob
+site/posts/StronglySpecifiedFunctionsRefine.glob
+site/posts/AlgebraicDatatypes.glob
+site/posts/MixingLtacAndGallina.glob
+site/posts/LtacPatternMatching.glob
+site/posts/ClightIntroduction.glob
+site/posts/StronglySpecifiedFunctionsProgram.glob
+site/posts/LtacMetaprogramming.glob
+site/posts/.RewritingInCoq.aux
+site/posts/.StronglySpecifiedFunctionsRefine.aux
+site/posts/.AlgebraicDatatypes.aux
+site/posts/.MixingLtacAndGallina.aux
+site/posts/.LtacPatternMatching.aux
+site/posts/.ClightIntroduction.aux
+site/posts/.StronglySpecifiedFunctionsProgram.aux
+site/posts/.LtacMetaprogramming.aux
 .lia.cache
-site/posts/AlgebraicDatatypes.html
 site/posts/RewritingInCoq.html
-site/posts/LtacPatternMatching.html
+site/posts/StronglySpecifiedFunctionsRefine.html
+site/posts/AlgebraicDatatypes.html
 site/posts/MixingLtacAndGallina.html
-site/posts/LtacMetaprogramming.html
-site/posts/StronglySpecifiedFunctionsProgram.html
+site/posts/LtacPatternMatching.html
 site/posts/ClightIntroduction.html
-site/posts/StronglySpecifiedFunctionsRefine.html
-site/cleopatra.html
+site/posts/StronglySpecifiedFunctionsProgram.html
+site/posts/LtacMetaprogramming.html
+lp/
+site/files/coqffi-tutorial.tar.gz
+site/posts/deps.svg
 site/opinions/MonadTransformers.html
 site/opinions/index.html
+site/news/ColorlessThemes-0.2.html
+site/projects/index.html
 site/cleopatra/soupault.html
-site/cleopatra/coq.html
 site/cleopatra/org.html
+site/cleopatra/literate-programming.html
+site/cleopatra/coq.html
 site/cleopatra/theme.html
-site/index.html
-site/news/ColorlessThemes-0.2.html
-site/projects/index.html
-site/posts/Thanks.html
+site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/CoqffiEcho.html
 site/posts/DiscoveringCommonLisp.html
-site/posts/StronglySpecifiedFunctions.html
+site/posts/CoqffiIntro.html
 site/posts/CleopatraV1.html
-site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/StronglySpecifiedFunctions.html
+site/posts/Thanks.html
 site/posts/Ltac.html
+site/posts/Coqffi.html
+site/cleopatra.html
+site/index.html
 build/
 site/style/main.css
 # end generated files
-- 
cgit v1.2.3