A compiler for a statically typed, purely functional programming language with lazy evaluation.
- Algebraic data types
- Integer primitives
- Type inference
- Parametric polymorphism (for global definitions)
- Let bindings
- Lambda expressions
- Type classes
- Higher kinded types
- Monad, do notation
- Monadic IO
- Bootstrapping
- Infix operators, indentation based parsing, ...
make test SRC=examples/nprime.src INPUT=64