Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 78 | logstatsplain |
-rwxr-xr-x | from_athena.sh | 57 | logstatsplain |
d--------- | ps01_grep | 242 | logstatsplain |
d--------- | ps02_generics | 301 | logstatsplain |
d--------- | ps03_evalapply | 515 | logstatsplain |
d--------- | ps04_combinators_amb | 626 | logstatsplain |
d--------- | ps05_pattern_matching | 148 | logstatsplain |
d--------- | ref | 253 | logstatsplain |
-rwxr-xr-x | to_athena.sh | 147 | logstatsplain |