summary refs log tree commit diff
path: root/Bananas
ModeNameSize
-rw-r--r--Basic.lean3276log plain