greg c35401da65 Types in bindings

2018-02-22 03:21:58 -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

Types in bindings

2018-02-22 03:21:58 -08:00