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