Evan Czaplicki b6144aeb07 Properly unify constrained variables, serious changes here!!! ... I also rewrote merge1 and merge2 which are dangerous functions to touch.		2013-07-25 15:48:58 +02:00
..
Constrain	Overload literal numbers without a decimal point to be either Ints or Floats	2013-07-25 01:25:17 +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	Properly unify constrained variables, serious changes here!!!	2013-07-25 15:48:58 +02:00