| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2024-03-15 | cool stuff | tzlil | 1 | -0/+16 | |
 |
index : recursion-schemes-lean4.git | |
| FP with bananas, lenses, and barbed wire in lean4 | tzlil |
| summary refs log tree commit diff |
path: root/lakefile.lean
|
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 | 1 | -0/+16 | |