BSD-3-Clause licensed by Anton Kholomiov
Maintained by <[email protected]>

Module documentation for 0.2.0

This version can be pinned in stack with:[email protected]:d8edf00817e386e0ef6bbb5d2ab75aac4e52e77e95c4ce3c08c0c9c028af3963,887

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

Depends on 1 package(full list with versions):
Used by 1 package in lts-15.5(full list with versions):