recursion-schemes-lean4.git - FP with bananas, lenses, and barbed wire in lean4

summary refs log tree commit diff

path: root/Main.lean

Age	Commit message (Expand)	Author	Files	Lines
2024-03-15	cool stuff	tzlil	1	-0/+4