Evan Czaplicki 67ef1ec77b Create the Type.Inference module which handles type inference from ... start to finish. Give it a Module and it returns a dictionary mapping top-level values to types.		2013-07-16 00:38:31 +02:00
..
Constrain	Create the Type.Inference module which handles type inference from	2013-07-16 00:38:31 +02:00
Environment.hs	Add pretty printing for type constraints.	2013-07-08 16:47:44 +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	Create the Type.Inference module which handles type inference from	2013-07-16 00:38:31 +02:00
Solve.hs	Create the Type.Inference module which handles type inference from	2013-07-16 00:38:31 +02:00
State.hs	Remove some debugging stuff and generally clean up the code.	2013-07-12 11:05:03 +02:00
Type.hs	Make constraint pretty printing prettier.	2013-07-11 23:30:18 +02:00
Unify.hs	Remove some debugging stuff and generally clean up the code.	2013-07-12 11:05:03 +02:00