greg 60fc9fd7e1 Super-basic type inference working ...

with a bunch of assumptions and hard-coded values

2017-10-08 23:33:53 -07:00

..

eval.rs

Move type-checking into a module

2017-10-04 02:07:30 -07:00

mod.rs

Starting to actually do Hindley-Milner!!

2017-10-08 22:48:10 -07:00

parsing.rs

Call needs to accept a general argument

2017-10-08 23:02:03 -07:00

type_check.rs

Super-basic type inference working

2017-10-08 23:33:53 -07:00