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

Module documentation for 0.0.7

This version can be pinned in stack with:[email protected]:9418f6c158198b16aaabac41737eebb5ccecc40b35272b59995498c6f344aa14,893

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):