Evan Czaplicki 138e99cc81 Begin to canonicalize imported values and types		2013-07-22 14:42:45 +02:00
..
Constrain	Add flexible variables for type annotated values	2013-07-22 14:41:12 +02:00
Environment.hs	First draft of cross-module type checking	2013-07-21 22:50:48 +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	Begin to canonicalize imported values and types	2013-07-22 14:42:45 +02:00
PrettyPrint.hs	Add CSaveEnv, optimize CAnd, make it prettier	2013-07-19 17:48:41 +02:00
Solve.hs	Save the current environment on CSaveEnv	2013-07-19 18:03:28 +02:00
State.hs	Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable	2013-07-19 17:50:16 +02:00
Type.hs	Create a serializable interface for a module's type information	2013-07-21 06:08:08 +02:00
Unify.hs	Remove some debugging stuff and generally clean up the code.	2013-07-12 11:05:03 +02:00