| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | bounded-editor.aup | 450 | logstatsplain |
| -rw-r--r-- | charge.aup | 582 | logstatsplain |
| -rw-r--r-- | counter.aup | 204 | logstatsplain |
| -rw-r--r-- | editor.aup | 484 | logstatsplain |
| -rw-r--r-- | notes.aup | 1101 | logstatsplain |
| -rw-r--r-- | steps.aup | 339 | logstatsplain |
| -rw-r--r-- | toggle.aup | 399 | logstatsplain |
 |
index : aup | |
| Declarative systems language and compiler targeting verified Pure modules. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |