greg 457799e0f7 More type things

2018-02-12 01:45:36 -08:00

..

eval.rs

Some more structure in evaluator

2017-10-23 01:54:35 -07:00

mod.rs

Simplify some code

2018-01-08 05:21:04 -08:00

parsing.rs

More type things

2018-02-12 01:45:36 -08:00

type_check.rs

Type singletons test work

2018-02-12 00:51:53 -08:00