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.