| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | analysis.lux | 9534 | logplain |
| -rw-r--r-- | default.lux | 92 | logplain |
| d--------- | default | 193 | logplain |
| d--------- | meta | 240 | logplain |
| -rw-r--r-- | name.lux | 1139 | logplain |
| -rw-r--r-- | phase.lux | 2891 | logplain |
| d--------- | phase | 386 | logplain |
| -rw-r--r-- | reference.lux | 1731 | logplain |
| -rw-r--r-- | statement.lux | 2046 | logplain |
| -rw-r--r-- | synthesis.lux | 11630 | logplain |
 |
index : lux | |
| fork of https://github.com/LuxLang/lux for my bookshelf |
| aboutsummaryrefslogtreecommitdiff |