greg fddd43b86e Added trait declaration		2018-02-21 22:06:56 -08:00
..
eval.rs	Some more structure in evaluator	2017-10-23 01:54:35 -07:00
mod.rs	Starting over with types	2018-02-21 02:35:09 -08:00
parsing.rs	Added trait declaration	2018-02-21 22:06:56 -08:00
type_check.rs	Type singletons test work	2018-02-12 00:51:53 -08:00
typechecking.rs	More static type work	2018-02-21 18:12:46 -08:00