This is a homework for functional programming course.
License: LGPL for implementation code + WTFPL for test examles in miniLanguage
Author: Ilya Pankratov, [email protected]
Features done:
- AST
- Parser
- Inferencer
- Interpret
- Add parsing of type declaration
- Add polymorphic variants to parser, inferencer and interpter
- Create unit and cram tests
- Implement REPL
Features not implemented:
- Type declarations are not integrated at inferencer and interpret