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