Evan Czaplicki c881bd8ef2 Fix bug in type application when converting SourceSyntax.Type to Type.Type ... Also get rid of some print statements.		2013-07-18 18:16:54 +02:00
..
Constrain	Refactor type environment	2013-07-17 19:29:27 +02:00
Environment.hs	Fix bug in type application when converting SourceSyntax.Type to Type.Type	2013-07-18 18:16:54 +02:00
Fragment.hs	Move the Environment.hs and Fragment.hs files down a directory.	2013-07-07 12:54:05 +02:00
Inference.hs	Refactor type environment	2013-07-17 19:29:27 +02:00
Solve.hs	Marginally better errors when a variable is undefined.	2013-07-17 19:30:40 +02:00
State.hs	Remove some debugging stuff and generally clean up the code.	2013-07-12 11:05:03 +02:00
Type.hs	Add terse way to do type application	2013-07-17 19:26:42 +02:00
Unify.hs	Remove some debugging stuff and generally clean up the code.	2013-07-12 11:05:03 +02:00