3 commits

Author	SHA1	Message	Date
evancz	0354fad128	Explicitly list imports for a module.	2013-04-05 09:56:37 -07:00
evancz	82f888cb3d	Get the type-checker running based on docs.json information. Also add rules for Nil and Tuple0, Tuple2, etc.	2013-04-04 01:09:35 -07:00
evancz	1822ebc160	Move the compiler down a directory, mostly.	2013-03-16 12:04:05 -07:00

Renamed from compiler/src/Types/Constrain.hs (Browse further)