https://github.com/casperbp/renamingless-capture-avoiding
Tip revision: b6151854da6971c90f3db8212f3dd1c11286c44f authored by Casper Bach Poulsen on 31 January 2023, 12:41:24 UTC
Fix ccs
Fix ccs
Tip revision: b615185
| File | Mode | Size |
|---|---|---|
| app | ||
| dist-newstyle | ||
| sections | ||
| document.lhs | -rw-r--r-- | 5.4 KB |
| latexmkrc | -rw-r--r-- | 217 bytes |
| makefile | -rw-r--r-- | 133 bytes |
| oasics-v2021.cls | -rw-r--r-- | 47.2 KB |
| references.bib | -rw-r--r-- | 144.8 KB |
| src.cabal | -rw-r--r-- | 829 bytes |
| unicode.tex | -rw-r--r-- | 6.5 KB |
