index
:
recursion-schemes-lean4.git
this commit
master
FP with bananas, lenses, and barbed wire in lean4
tzlil
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Bananas
Mode
Name
Size
-rw-r--r--
Basic.lean
3276
log
plain
