Commit Graph

3 Commits

Author SHA1 Message Date
collin
69a8b61efe add type-inference module 2020-11-12 10:28:24 -08:00
collin
eb301d310b separate type-inference module 2020-11-11 14:32:46 -08:00
collin
7589fa65c5 rename dynamic-check -> type-inference 2 2020-10-30 12:49:01 -07:00