| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | idk | tzlil | 6 months | |
| Age | Commit message | Author | Files | Lines |
| 2024-03-16 | idk HEAD master | tzlil | 1 | -6/+5 |
| 2024-03-15 | improve hylo and ana morphisms | tzlil | 1 | -47/+36 |
| 2024-03-15 | cool stuff | tzlil | 6 | -0/+152 |
| Clone | ||||
| http://git.tzlil.net/recursion-schemes-lean4.git | ||||
 |
index : recursion-schemes-lean4.git | |
| FP with bananas, lenses, and barbed wire in lean4 | tzlil |
| summary refs log tree commit diff |