Closed cvauclair closed 3 years ago
@ThierryBleau primitive functions have not been added to the type system. There are two TODOs in infer.re
that have to be done still before merging (even if all tests pass).
Ok I'll finish going through the issues for the type system and I'll get to it.
Add grammar and evaluation support for binding variables to external values. E.g.:
Closes #53