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