https://github.com/goldfirere/thesis
Tip revision: 22f066bc26b1147530525aabb3df686416b3e4aa authored by Richard Eisenberg on 19 July 2018, 03:50:02 UTC
Warning: congruence proof is wrong
Warning: congruence proof is wrong
Tip revision: 22f066b
File | Mode | Size |
---|---|---|
agda | ||
attic | ||
bib @ 55b0c17 | ||
built | ||
cab | ||
coq | ||
defense | ||
effects | ||
examples | ||
formatting | ||
hs | ||
icfp-src | ||
idr | ||
notes | ||
ott | ||
papers | ||
pico | ||
proposal | ||
tex | ||
.gitignore | -rw-r--r-- | 62 bytes |
.gitmodules | -rw-r--r-- | 176 bytes |
Makefile | -rw-r--r-- | 3.3 KB |
README.md | -rw-r--r-- | 1.5 KB |