 Milo Turner
|
45c12df17e
various clean up to the code (no change in logic)
|
4 years ago |
|
Milo Turner
|
fb8148baca
remove dependency ceiling
|
4 years ago |
|
Milo Turner
|
9339748301
pretty printers
|
4 years ago |
|
Milo
|
37e058ca19
a note ...
|
4 years ago |
|
Milo
|
0ce82b602f
woo
|
4 years ago |
|
Milo
|
d22bffedaa
repl things
|
4 years ago |
|
Milo
|
d9a514af86
no need for importing Q.IR.Surface qualified
|
4 years ago |
|
Milo
|
1687a0306b
typechecking functions and function application
|
4 years ago |
|
Milo
|
cbe551cf6f
move Pred to Typecheck
|
4 years ago |
|
Milo
|
ffb886d827
disable some GHC warnings
|
4 years ago |
|
Milo
|
5d1feb44a6
a typechecker
|
4 years ago |
|
Milo
|
cbe4ef738b
notes for the typechecker
|
4 years ago |
|
Milo
|
cd387c8e92
surface IR
|
4 years ago |
|
Milo
|
4fcc114188
add Ord instance + more variants for Q.IR.Core.Op2
|
4 years ago |
|
Milo
|
0d7c2f9d88
different Show instance for Q.AST.Common.Id
|
4 years ago |
|
Milo
|
3667dbd198
an interpreter
|
4 years ago |
|
Milo
|
288b1bba31
hello
|
4 years ago |
