summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore78logstatsplain
-rwxr-xr-xfrom_athena.sh57logstatsplain
d---------ps01_grep242logstatsplain
d---------ps02_generics301logstatsplain
d---------ps03_evalapply515logstatsplain
d---------ps04_combinators_amb626logstatsplain
d---------ref253logstatsplain
-rwxr-xr-xto_athena.sh147logstatsplain