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

Module documentation for 0.0.4

This version can be pinned in stack with:[email protected]:e784f9bb1f2b758fbd41f5ff535ba911081182f89a81c19e36735f0e5e8d59f8,884

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

Depends on 1 package(full list with versions):