https://github.com/heft-lang/hefty-compilation
Tip revision: 947b8dcfdd9a6c2b0a242d9ae9d5e2e91e567c36 authored by Jaro Reinders on 06 March 2023, 16:33:00 UTC
Use latexmk
Use latexmk
Tip revision: 947b8dc
| File | Mode | Size |
|---|---|---|
| Postulates | ||
| continuations | ||
| evcs | ||
| haskell | ||
| nl-fp-day | ||
| seminar | ||
| sle23 | ||
| .gitignore | -rw-r--r-- | 76 bytes |
| Algebraic.agda | -rw-r--r-- | 19.5 KB |
| Compiler.agda | -rw-r--r-- | 21.2 KB |
| Hefty.agda | -rw-r--r-- | 17.2 KB |
| PHOAS.hs | -rw-r--r-- | 4.6 KB |
| README.md | -rw-r--r-- | 205 bytes |
| ccc.txt | -rw-r--r-- | 5.4 KB |
| hefty-compilation.agda-lib | -rw-r--r-- | 60 bytes |
| hoas-recovery.txt | -rw-r--r-- | 1.8 KB |
README.md
Loading README.md ...
