BSD-3-Clause licensed by Anton Kholomiov
Maintained by <>

Module documentation for 0.2.0

There are no documented modules for this package.

Fixpoint types and recursion schemes. If you define your AST as fixpoint type, you get fold and unfold operations for free.

Thanks for contribution to: Matej Kollar, Herbert Valerio Riedel

comments powered byDisqus