Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | analysis.lux | 9790 | logplain |
d--------- | analysis | 79 | logplain |
-rw-r--r-- | arity.lux | 216 | logplain |
-rw-r--r-- | default.lux | 92 | logplain |
d--------- | default | 113 | logplain |
-rw-r--r-- | directive.lux | 2045 | logplain |
-rw-r--r-- | generation.lux | 9525 | logplain |
d--------- | language / lux | 30 | logplain |
d--------- | meta | 240 | logplain |
-rw-r--r-- | name.lux | 1167 | logplain |
-rw-r--r-- | phase.lux | 2859 | logplain |
d--------- | phase | 307 | logplain |
-rw-r--r-- | reference.lux | 1759 | logplain |
-rw-r--r-- | synthesis.lux | 11591 | logplain |