3 Commits

Author	SHA1	Message	Date
Yuning Zhang	710dcbd381	Improve type mismatch error messages ... Replace "integral variable" with "integer" and replace "floating-point variable" with "floating-point number" to make the message less confusing.	2018-12-31 20:43:08 -05:00
Mark Rousskov	2a663555dd	Remove licenses	2018-12-25 21:08:33 -07:00
Oliver Schneider	53d2ebb0ad	Implement existential types	2018-07-18 10:53:08 +02:00