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