| Mode | Name | Size | |
|---|---|---|---|
| d--------- | aggregation | 154 | logplain |
| -rw-r--r-- | disjpatt.tra | 622 | logplain |
| -rw-r--r-- | exp.tra | 816 | logplain |
| -rw-r--r-- | fib.tra | 248 | logplain |
| -rw-r--r-- | layout.tra | 92 | logplain |
| -rw-r--r-- | list.tra | 98 | logplain |
| -rw-r--r-- | numerals.tra | 2355 | logplain |
| d--------- | reflexive | 154 | logplain |
| -rw-r--r-- | stoneage.tra | 6242 | logplain |
| -rw-r--r-- | test.tra | 60 | logplain |
| -rw-r--r-- | tricky-type-checking.tra | 755 | logplain |
| -rw-r--r-- | widesnake.tra | 609 | logplain |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |