A categorical programming language
| Name | Size | Rev. | Time | Author | Log Message |
|---|---|---|---|---|---|
 about.md |
200 | 5ce1d98 | 2022-03-30 09:21:26 | Corbin | Implement the Yoneda combinators and ... |
| pred.cammy |
192 | 5ce1d98 | 2022-03-30 09:21:26 | Corbin | Implement the Yoneda combinators and ... |
| succ.cammy |
100 | 5ce1d98 | 2022-03-30 09:21:26 | Corbin | Implement the Yoneda combinators and ... |
Fork