Age | Commit message (Collapse) | 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 |
Age | Commit message (Collapse) | 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 | |