plug functor to recursion schemes
authorNamdak Tonpa <maxim@synrc.com>
Sun, 5 Nov 2017 03:57:06 +0000 (05:57 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 6 Nov 2017 14:58:37 +0000 (09:58 -0500)
commit386a6cb34ba61d76d76c7db9aa3f1b21826c99d9
tree1ba5256eedce8109ead26749e8f04e34f31dd660
parent401d585dbe993a7ebf86c42fb3718c221a7983b4
plug functor to recursion schemes
examples/control.ctt
examples/lambek.ctt