diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
| commit | 2706544cf000a6f9875e81f86d885d4dc68dfb23 (patch) | |
| tree | 5c1cf8ce1f5704dabef5e55353a3f9196894eb1a /.gitignore | |
| parent | Advertise the version of compcert used to build this article (diff) | |
Add a Series on coqffi, and the first literate program of this blog
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 81 |
1 files changed, 63 insertions, 18 deletions
@@ -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 |