Create lambek.ctt
authorNamdak Tonpa <maxim@synrc.com>
Mon, 23 Oct 2017 23:26:07 +0000 (02:26 +0300)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 6 Nov 2017 14:58:37 +0000 (09:58 -0500)
commit401d585dbe993a7ebf86c42fb3718c221a7983b4
tree80fe0e43655ea14906b9cfe471d17bb2521cb423
parent53a8663576e54d10cc3e671fa4182d6c3ed0e977
Create lambek.ctt

Add recursion schemes as examples of cubicaltt usage
examples/lambek.ctt [new file with mode: 0644]