ordered logic thesis work
TeX Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
papers
thesis
.gitignore
CategoryTheory.hs
Lam.elf
Lam.hs
MultiOrder.elf
Ordered.elf
OrderedPi.elf
OrderedPi.txt
Pi.elf
Pi.hs
README.md
ecc.elf
eta.txt
hlf.elf
lcc.elf
sources.cfg
transducer.elf
transducer.txt
transducerBind.elf

README.md

Hello world