Evan Czaplicki 23758290d9 Improve pretty printing for types		2013-07-19 19:17:51 +02:00
..
Constrain	Change the representation of SolverState to have a "saved environment", recognize the "Save the Environment" variable	2013-07-19 17:50:16 +02:00
Environment.hs	Stop creating types for ADT's, use Constant and Flexible in the right place	2013-07-19 18:01:26 +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	Switch from [Def t v] to (LExpr t v) for program representation	2013-07-19 18:02:24 +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	Improve pretty printing for types	2013-07-19 19:17:51 +02:00
Unify.hs	Remove some debugging stuff and generally clean up the code.	2013-07-12 11:05:03 +02:00