aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators
ModeNameSize
-rw-r--r--contextfile8970logplain
-rw-r--r--default.nix878logplain