summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--LICENSE1522logplain
-rw-r--r--README.md2803logplain
-rw-r--r--Setup.hs46logplain
-rw-r--r--register-machine-typelevel.cabal2955logplain
d---------src66logplain