| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 336 | logplain |
| -rw-r--r-- | .gitlab-ci.yml | 110 | logplain |
| d--------- | .reuse | 32 | logplain |
| -rw-r--r-- | AUTHORS | 76 | logplain |
| -rw-r--r-- | ChangeLog | 106 | logplain |
| d--------- | LICENSES | 131 | logplain |
| -rw-r--r-- | Makefile.am | 2603 | logplain |
| -rw-r--r-- | NEWS | 553 | logplain |
| l--------- | README | 10 | logplain |
| -rw-r--r-- | README.org | 10345 | logplain |
| -rw-r--r-- | ROADMAP | 798 | logplain |
| d--------- | build-aux | 191 | logplain |
| -rw-r--r-- | configure.ac | 1024 | logplain |
| d--------- | doc | 37 | logplain |
| -rw-r--r-- | eris.scm | 4082 | logplain |
| d--------- | eris | 191 | logplain |
| d--------- | examples | 71 | logplain |
| -rw-r--r-- | guix.scm | 1366 | logplain |
| -rw-r--r-- | hall.scm | 2177 | logplain |
| -rw-r--r-- | pre-inst-env.in | 434 | logplain |
| d--------- | scripts | 53 | logplain |
| d--------- | test-vectors | 1456 | logplain |
| d--------- | tests / eris | 31 | logplain |
 |
index : guile-eris.git | |
| Scheme implementation of ERIS | pukkamustard |
| aboutsummaryrefslogtreecommitdiff |