haskell

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