a type theory with equality based on setoids
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
Amélia Liao 94fffd1f1b need to throw this stuff on git 3 years ago
..
Elaboration need to throw this stuff on git 3 years ago
Presyntax need to throw this stuff on git 3 years ago
Syntax need to throw this stuff on git 3 years ago
Elaboration.hs need to throw this stuff on git 3 years ago
Evaluate.hs need to throw this stuff on git 3 years ago
Main.hs need to throw this stuff on git 3 years ago
Presyntax.hs need to throw this stuff on git 3 years ago
Syntax.hs need to throw this stuff on git 3 years ago
Value.hs need to throw this stuff on git 3 years ago