A small typed functional programming language implemented in Haskell, with support for parsing, static type checking, interpretation, list pattern matching, and recursive functions. This project was ...