| -rw-r--r-- | .github/workflows/ci.yml | 172L |
| -rw-r--r-- | .gitignore | 10L |
| -rw-r--r-- | .travis.yml | 114L |
| -rw-r--r-- | LICENSE-more.md | 26L |
| -rw-r--r-- | LICENSE.txt | 116L |
| -rw-r--r-- | Makefile | 8L |
| -rw-r--r-- | MathJax-bfit.patch | 20L |
| -rw-r--r-- | README.md | 9L |
| -rw-r--r-- | auto-push-gh-pages.sh | 49L |
| -rw-r--r-- | auto-push-master.sh | 49L |
| -rwxr-xr-x | fixlinks.sh | 43L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/Ectx.rkt | 16L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/GammaR.rkt | 17L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/deltarules.rkt | 32L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/e.rkt | 41L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/envrt.rkt | 12L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/operational-semantics.rkt | 153L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/p.rkt | 17L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/phi-psi-o-path.rkt | 44L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/rules.scrbl | 853L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/simplify.rkt | 67L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/subtyping.rkt | 268L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/tausigma.rkt | 51L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/te.rkt | 136L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/trules.rkt | 366L |
| -rw-r--r-- | from-dissertation-tobin-hochstadt/v.rkt | 34L |
| -rw-r--r-- | info.rkt | 53L |
| -rw-r--r-- | main.rkt | 1L |
| -rw-r--r-- | package-lock.json | 413L |
| -rw-r--r-- | passes of the example compiler for Nanopass.odt | 17841B |
| -rwxr-xr-x | pdflatex-wrapper/pdflatex | 74L |
| -rw-r--r-- | qaligned.patch | 40L |
| -rw-r--r-- | run-mathjax-offline.node.js | 100L |
| -rw-r--r-- | scribblings/abbreviations.rkt | 51L |
| -rw-r--r-- | scribblings/adt-Ectx.scrbl.old | 25L |
| -rw-r--r-- | scribblings/adt-e.scrbl.old | 31L |
| -rw-r--r-- | scribblings/adt-opsem.scrbl.old | 124L |
| -rw-r--r-- | scribblings/adt-pe.scrbl.old | 35L |
| -rw-r--r-- | scribblings/adt-row-Ectx.scrbl | 27L |
| -rw-r--r-- | scribblings/adt-row-e.scrbl | 72L |
| -rw-r--r-- | scribblings/adt-row-opsem.scrbl | 111L |
| -rw-r--r-- | scribblings/adt-row-pe.scrbl | 103L |
| -rw-r--r-- | scribblings/adt-row-shorthands.scrbl | 77L |
| -rw-r--r-- | scribblings/adt-row-sub.scrbl | 121L |
| -rw-r--r-- | scribblings/adt-row-tausigma.scrbl | 74L |
| -rw-r--r-- | scribblings/adt-row-te.scrbl | 58L |
| -rw-r--r-- | scribblings/adt-row-trules.scrbl | 127L |
| -rw-r--r-- | scribblings/adt-row-v.scrbl | 14L |
| -rw-r--r-- | scribblings/adt-sub.scrbl.old | 49L |
| -rw-r--r-- | scribblings/adt-tausigma.scrbl.old | 14L |
| -rw-r--r-- | scribblings/adt-trules.scrbl.old | 135L |
| -rw-r--r-- | scribblings/adt-utils.rkt | 328L |
| -rw-r--r-- | scribblings/adt-v.scrbl.old | 13L |
| -rw-r--r-- | scribblings/adt.scrbl | 66L |
| -rw-r--r-- | scribblings/bibliography.bib | 850L |
| -rw-r--r-- | scribblings/equations-lang.rkt | 48L |
| -rw-r--r-- | scribblings/initial-examples.scrbl | 9L |
| -rw-r--r-- | scribblings/introduction.scrbl | 806L |
| -rw-r--r-- | scribblings/phc-thesis.scrbl | 145L |
| -rw-r--r-- | scribblings/state-of-the-art.scrbl | 582L |
| -rw-r--r-- | scribblings/te.scrbl | 11L |
| -rw-r--r-- | scribblings/tr-te-adt.scrbl | 11L |
| -rw-r--r-- | scribblings/tr.scrbl | 1124L |
| -rw-r--r-- | scribblings/util.rkt | 805L |
| -rw-r--r-- | scribblings/util0.rkt | 115L |
| -rw-r--r-- | tikztag.sty | 130L |
| -rw-r--r-- | travis-deploy-key-id_rsa.enc | 1680B |
