Evan Czaplicki d15d84deba Get patterns to type-check with the value in the case expression		2013-07-22 15:10:48 +02:00
..
Declaration.hs	Use letters for arguments in adt constructors	2013-07-19 17:46:03 +02:00
Expression.hs	Add flexible variables for type annotated values	2013-07-22 14:41:12 +02:00
Literal.hs	Refactor type environment	2013-07-17 19:29:27 +02:00
Pattern.hs	Get patterns to type-check with the value in the case expression	2013-07-22 15:10:48 +02:00