Contains shared models such as AST nodes for representing input expressions, contexts to represent bound variables and substitutions useful for type inference algorithms. The language core also includes a lexer and paser (using the Masala parser combinator library) for the basic expression language, along with utility functions for manipulating its models.
npm install
npm run build
npm test