| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 40 | log plain |
| -rw-r--r-- | Bananas.lean | 152 | log plain |
| d--------- | Bananas | 38 | log plain |
| -rw-r--r-- | Main.lean | 75 | log plain |
| -rw-r--r-- | lakefile.lean | 461 | log plain |
| -rw-r--r-- | lean-toolchain | 23 | log plain |
 |
index : recursion-schemes-lean4.git | |
| FP with bananas, lenses, and barbed wire in lean4 | tzlil |
| summary refs log tree commit diff |