haskell

Milo Turner 45c12df17e various clean up to the code (no change in logic) 6 months ago
src 45c12df17e various clean up to the code (no change in logic) 6 months ago
.ghci d22bffedaa repl things 7 months ago
.gitignore 288b1bba31 hello 7 months ago
Makefile d22bffedaa repl things 7 months ago
Setup.hs 288b1bba31 hello 7 months ago
qlang.cabal fb8148baca remove dependency ceiling 6 months ago
typecheck-algorithm-notes.txt cbe4ef738b notes for the typechecker 7 months ago