greg 822420a9d5 Add an eval test		2018-07-26 00:52:46 -07:00
..
ast_reducing.rs	rename IntLiteral -> NatLiteral	2018-07-26 00:52:46 -07:00
builtin.rs	move schala into separate crate	2018-07-26 00:52:45 -07:00
eval.rs	Add an eval test	2018-07-26 00:52:46 -07:00
lib.rs	Debug ast rewrite	2018-07-26 00:52:46 -07:00
parsing.rs	rename IntLiteral -> NatLiteral	2018-07-26 00:52:46 -07:00
tokenizing.rs	Use impl Trait to simplify type signatures	2018-07-26 00:52:46 -07:00
type_check.rs	move schala into separate crate	2018-07-26 00:52:45 -07:00
typechecking.rs	rename IntLiteral -> NatLiteral	2018-07-26 00:52:46 -07:00
util.rs	State type manipulations	2018-07-26 00:52:46 -07:00