greg 83315e97ac Move anno-to-type to a method on TypeName		2018-02-23 02:30:34 -08:00
..
eval.rs	More work on evaluating applications	2018-02-22 03:34:36 -08:00
mod.rs	Separate tokenizing module	2018-02-23 01:58:06 -08:00
parsing.rs	Separate tokenizing module	2018-02-23 01:58:06 -08:00
tokenizing.rs	Fix tests too	2018-02-23 01:59:53 -08:00
type_check.rs	Type singletons test work	2018-02-12 00:51:53 -08:00
typechecking.rs	Move anno-to-type to a method on TypeName	2018-02-23 02:30:34 -08:00