aboutsummaryrefslogtreecommitdiff
path: root/Data/SExp
ModeNameSize
-rw-r--r--Parser.agda2654logplain