A compiler for a subset of Haskell based on the intensional transformation and modular polymorphic defunctionalization. Under development, version 0.10.
Features:
- Separate module compilation.
- Parametric polymorphism, GADTs.
- A dataflow interpreter.
- A compiler to the rewriting logic of Maude.
See the examples under /Examples for the language features supported.
For more information about building and using it, consult the README.