Evan Czaplicki 609cc3df96 Unify any constrained variables with the same super-type		2013-07-25 17:10:01 +02:00
..
Constrain	Mess with whitespace	2013-07-25 17:09:23 +02:00
Environment.hs	Add definitions for functions that act on numbers and comparables	2013-07-25 14:54:21 +02:00
Fragment.hs	Fix type constraints for case-expressions	2013-07-23 14:59:53 +02:00
Inference.hs	Prettier printing for infix operator definitions	2013-07-23 15:43:21 +02:00
PrettyPrint.hs	Add CSaveEnv, optimize CAnd, make it prettier	2013-07-19 17:48:41 +02:00
Solve.hs	Assume all variables with the "Native." prefix exist and have type "a"	2013-07-25 01:23:30 +02:00
State.hs	Get rid of unused part of the type error message	2013-07-25 15:46:48 +02:00
Type.hs	Add definitions for functions that act on numbers and comparables	2013-07-25 14:54:21 +02:00
Unify.hs	Unify any constrained variables with the same super-type	2013-07-25 17:10:01 +02:00