| Age | Commit message (Expand) | 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 | 1 | -0/+125 |
 |
index : recursion-schemes-lean4.git | |
| FP with bananas, lenses, and barbed wire in lean4 | tzlil |
| summary refs log tree commit diff |