aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore131logplain
-rw-r--r--B.agda881logplain
-rw-r--r--LICENCE11358logplain
d---------Prelude309logplain
-rw-r--r--README.md1804logplain