summaryrefslogtreecommitdiff
ModeNameSize
-rwxr-xr-xChangeLog.md50logplain
-rwxr-xr-xLICENSE1062logplain
-rwxr-xr-xREADME.md1046logplain
-rw-r--r--Setup.hs46logplain
d---------bin89logplain
-rw-r--r--call-alloy.cabal2782logplain
d---------src35logplain
d---------test70logplain