A categorical programming language
| Name | Size | Rev. | Time | Author | Log Message |
|---|---|---|---|---|---|
 about.md |
45 | 2178287 | 2022-03-17 14:10:00 | Corbin | Write out some basic docs for the hive. |
| assl.cammy |
94 | 5ce1d98 | 2022-03-30 09:21:26 | Corbin | Implement the Yoneda combinators and ... |
| assr.cammy |
96 | 5ce1d98 | 2022-03-30 09:21:26 | Corbin | Implement the Yoneda combinators and ... |
| left?.cammy |
35 | 2f1b1f8 | 2022-05-08 12:14:18 | Corbin | Adopt a style for predicates. |
| mapleft.cammy |
67 | e9a1a66 | 2022-03-15 10:33:03 | Corbin | Add a tool for graphing hives. |
| mapright.cammy |
69 | e9a1a66 | 2022-03-15 10:33:03 | Corbin | Add a tool for graphing hives. |
| par.cammy |
37 | f34a2fd | 2022-05-17 13:21:38 | Corbin | Draw normal vectors as colors. |
| swap.cammy |
48 | 876b226 | 2022-03-09 10:16:42 | Corbin | Clean up pretty-printing for types. |
Fork