Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2024-03-15 | cool stuff | tzlil | 6 | -0/+152 | |
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-15 | cool stuff | tzlil | 6 | -0/+152 | |