Mode | Name | Size | |
---|---|---|---|
d--------- | APL-and-J | 163 | logplain |
d--------- | _files | 198 | logplain |
d--------- | _tmp / agda-dfa | 35 | logplain |
d--------- | _werc | 94 | logplain |
-rw-r--r-- | contact.md | 129 | logplainblame |
d--------- | facts | 57 | logplain |
-rw-r--r-- | favicon.ico | 2576 | logplainblame |
d--------- | haskell | 36 | logplain |
d--------- | images | 686 | logplain |
-rw-r--r-- | index.md | 1091 | logplainblame |
d--------- | linux | 73 | logplain |
d--------- | me | 97 | logplain |
d--------- | opinions | 62 | logplain |
d--------- | plan9 | 424 | logplain |
d--------- | prolog | 51 | logplain |
d--------- | web | 53 | logplain |