Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | case.lux | 15640 | logplain |
-rw-r--r-- | common.lux | 911 | logplain |
-rw-r--r-- | function.lux | 3778 | logplain |
-rw-r--r-- | inference.lux | 2610 | logplain |
-rw-r--r-- | primitive.lux | 830 | logplain |
-rw-r--r-- | procedure.lux | 513 | logplain |
d--------- | procedure | 38 | logplain |
-rw-r--r-- | reference.lux | 1243 | logplain |
-rw-r--r-- | structure.lux | 11677 | logplain |
-rw-r--r-- | type.lux | 831 | logplain |