| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 20 | logstatsplain |
| -rw-r--r-- | Makefile | 676 | logstatsplain |
| -rw-r--r-- | README.md | 1950 | logstatsplain |
| d--------- | docs / design | 33 | logstatsplain |
| d--------- | examples | 236 | logstatsplain |
| d--------- | src | 104 | logstatsplain |
| d--------- | tests | 69 | logstatsplain |
 |
index : aup | |
| Declarative systems language and compiler targeting verified Pure modules. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |