aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore84logplain
d---------bin67logplain
-rw-r--r--dune-project571logplain
d---------lib536logplain
-rw-r--r--readme.md1463logplain
d---------syntax167logplain
d---------test78logplain