greg 24b532df06 This doesn't need to be a closure		2018-07-26 00:52:46 -07:00
..
ast_reducing.rs	Conditionals	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	Trim newline in getline()	2018-07-26 00:52:46 -07:00
lib.rs	Kill some warnings	2018-07-26 00:52:46 -07:00
parsing.rs	This doesn't need to be a closure	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