greg 55e372a670 Introduced fresh type variable method		2018-02-28 05:45:20 -08:00
..
builtin.rs	More operator stuff	2018-02-26 02:21:21 -08:00
eval.rs	Move some code around	2018-02-26 19:57:46 -08:00
mod.rs	Continuing work	2018-02-27 03:01:05 -08:00
parsing.rs	Separate Value and NamedStruct syntactic categories	2018-02-26 18:12:37 -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	Introduced fresh type variable method	2018-02-28 05:45:20 -08:00