aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore16logplain
-rw-r--r--README.md173logplain
d---------ast / CC29logplain
-rw-r--r--compcomp.cabal1385logplain
d---------main35logplain
d---------parser / CC29logplain
d---------typecheck / CC29logplain
d---------utils / CC29logplain