*~

# begin generated files
.commands.deps
.coq.deps
.dependencies.deps
.emacs.d
.emacs.d/cache
.lia.cache
.literate-programming.deps
.org.deps
.soupault.deps
.theme.deps
_opam
logs/coqffi-tutorial.stderr
logs/site--cleopatra--commands.html.stderr
logs/site--cleopatra--coq.html.stderr
logs/site--cleopatra--dependencies.html.stderr
logs/site--cleopatra.html.stderr
logs/site--cleopatra--literate-programming.html.stderr
logs/site--cleopatra--org.html.stderr
logs/site--cleopatra--soupault.html.stderr
logs/site--cleopatra--theme.html.stderr
logs/site--coq.html.stderr
logs/site--haskell.html.stderr
logs/site--index.html.stderr
logs/site--meta.html.stderr
logs/site--miscellaneous.html.stderr
logs/site--news--August2022.html.stderr
logs/site--news--ColorlessThemes-0.2.html.stderr
logs/site--news--MonthlyRetrospectives.html.stderr
logs/site--opinions--index.html.stderr
logs/site--opinions--MonadTransformers.html.stderr
logs/site--opinions--StackedGit.html.stderr
logs/site--posts--CleopatraV1.html.stderr
logs/site--posts--CoqffiEcho.html.stderr
logs/site--posts--Coqffi.html.stderr
logs/site--posts--CoqffiIntro.html.stderr
logs/site--posts--DiscoveringCommonLisp.html.stderr
logs/site--posts--ExtensibleTypeSafeErrorHandling.html.stderr
logs/site--posts--Ltac.html.stderr
logs/site--posts--RankNTypesInOCaml.html.stderr
logs/site--posts--StronglySpecifiedFunctions.html.stderr
logs/site--posts--Thanks.html.stderr
logs/site--projects--index.html.stderr
logs/start-server.stderr
logs/tangling-lp.stderr
logs/coqffi-tutorial.stdout
logs/site--cleopatra--commands.html.stdout
logs/site--cleopatra--coq.html.stdout
logs/site--cleopatra--dependencies.html.stdout
logs/site--cleopatra.html.stdout
logs/site--cleopatra--literate-programming.html.stdout
logs/site--cleopatra--org.html.stdout
logs/site--cleopatra--soupault.html.stdout
logs/site--cleopatra--theme.html.stdout
logs/site--coq.html.stdout
logs/site--haskell.html.stdout
logs/site--index.html.stdout
logs/site--meta.html.stdout
logs/site--miscellaneous.html.stdout
logs/site--news--August2022.html.stdout
logs/site--news--ColorlessThemes-0.2.html.stdout
logs/site--news--MonthlyRetrospectives.html.stdout
logs/site--opinions--index.html.stdout
logs/site--opinions--MonadTransformers.html.stdout
logs/site--opinions--StackedGit.html.stdout
logs/site--posts--CleopatraV1.html.stdout
logs/site--posts--CoqffiEcho.html.stdout
logs/site--posts--Coqffi.html.stdout
logs/site--posts--CoqffiIntro.html.stdout
logs/site--posts--DiscoveringCommonLisp.html.stdout
logs/site--posts--ExtensibleTypeSafeErrorHandling.html.stdout
logs/site--posts--Ltac.html.stdout
logs/site--posts--RankNTypesInOCaml.html.stdout
logs/site--posts--StronglySpecifiedFunctions.html.stdout
logs/site--posts--Thanks.html.stdout
logs/site--projects--index.html.stdout
logs/start-server.stdout
logs/tangling-lp.stdout
lp/
node_modules
out
package-lock.json
rss.json
site/cleopatra.html
site/cleopatra/commands.html
site/cleopatra/coq.html
site/cleopatra/dependencies.html
site/cleopatra/literate-programming.html
site/cleopatra/org.html
site/cleopatra/soupault.html
site/cleopatra/theme.html
site/coq.html
site/files/coqffi-tutorial.tar.gz
site/haskell.html
site/index.html
site/meta.html
site/miscellaneous.html
site/news/August2022.html
site/news/ColorlessThemes-0.2.html
site/news/MonthlyRetrospectives.html
site/opinions/MonadTransformers.html
site/opinions/StackedGit.html
site/opinions/index.html
site/posts/.AlgebraicDatatypes.aux
site/posts/.ClightIntroduction.aux
site/posts/.LtacMetaprogramming.aux
site/posts/.LtacPatternMatching.aux
site/posts/.MixingLtacAndGallina.aux
site/posts/.RewritingInCoq.aux
site/posts/.StronglySpecifiedFunctionsProgram.aux
site/posts/.StronglySpecifiedFunctionsRefine.aux
site/posts/AlgebraicDatatypes.glob
site/posts/AlgebraicDatatypes.html
site/posts/AlgebraicDatatypes.vo
site/posts/AlgebraicDatatypes.vok
site/posts/AlgebraicDatatypes.vos
site/posts/CleopatraV1.html
site/posts/ClightIntroduction.glob
site/posts/ClightIntroduction.html
site/posts/ClightIntroduction.vo
site/posts/ClightIntroduction.vok
site/posts/ClightIntroduction.vos
site/posts/Coqffi.html
site/posts/CoqffiEcho.html
site/posts/CoqffiIntro.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/Ltac.html
site/posts/LtacMetaprogramming.glob
site/posts/LtacMetaprogramming.html
site/posts/LtacMetaprogramming.vo
site/posts/LtacMetaprogramming.vok
site/posts/LtacMetaprogramming.vos
site/posts/LtacPatternMatching.glob
site/posts/LtacPatternMatching.html
site/posts/LtacPatternMatching.vo
site/posts/LtacPatternMatching.vok
site/posts/LtacPatternMatching.vos
site/posts/MixingLtacAndGallina.glob
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
site/posts/RewritingInCoq.vok
site/posts/RewritingInCoq.vos
site/posts/StronglySpecifiedFunctions.html
site/posts/StronglySpecifiedFunctionsProgram.glob
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/StronglySpecifiedFunctionsProgram.vo
site/posts/StronglySpecifiedFunctionsProgram.vok
site/posts/StronglySpecifiedFunctionsProgram.vos
site/posts/StronglySpecifiedFunctionsRefine.glob
site/posts/StronglySpecifiedFunctionsRefine.html
site/posts/StronglySpecifiedFunctionsRefine.vo
site/posts/StronglySpecifiedFunctionsRefine.vok
site/posts/StronglySpecifiedFunctionsRefine.vos
site/posts/Thanks.html
site/posts/deps.svg
site/projects/index.html
style.min.css
# end generated files