blob: bcc46323d9f978a6d5715fc9643580ca637b7470 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
*~
# begin generated files
.cleopatra
.emacs
.lia.cache
_opam
build.log
commands.mk
coq.mk
dependencies.mk
export-lp.el
literate-programming.mk
lp/
node_modules
org.mk
out
package-lock.json
package.json
plugins/clean-up.lua
plugins/css.lua
plugins/external-urls.lua
plugins/series.lua
plugins/urls-rewriting.lua
rss.json
scripts/css.sh
scripts/export-org.el
scripts/history.sh
scripts/packages.el
scripts/render-equations.js
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/ColorlessThemes-0.2.html
site/opinions/MonadTransformers.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/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
soupault.conf
soupault.mk
style.css
style.min.css
templates/history.html
templates/main.html
theme.mk
# end generated files
|