| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | simple.in.osml | 197 | logplain |
| -rw-r--r-- | simple.out.osxml | 544 | logplain |
| -rw-r--r-- | syntax.in.osml | 202 | logplain |
| -rw-r--r-- | syntax.out.osxml | 450 | logplain |
| -rw-r--r-- | typesystem.in.osml | 196 | logplain |
| -rw-r--r-- | typesystem.out.osxml | 583 | logplain |
 |
index : ousia.git | |
| Ousía Main Repository |
| summaryrefslogtreecommitdiff |