| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | demo.txt | 2599 | logplain |
| -rw-r--r-- | generics.txt | 575 | logplain |
| -rw-r--r-- | goals.txt | 3691 | logplain |
| -rw-r--r-- | macros.txt | 505 | logplain |
| -rw-r--r-- | test.txt | 2218 | logplain |
| -rw-r--r-- | types.txt | 1512 | logplain |
| -rw-r--r-- | xar.txt | 862 | logplain |
 |
index : ~wrmr/lang | |
| Unnamed repository; edit this file 'description' to name the repository. | Worm Heamer |
| summaryrefslogtreecommitdiff |