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 | 2634 | logplain |
-rw-r--r-- | NEWS | 458 | logplain |
l--------- | README | 10 | logplain |
-rw-r--r-- | README.org | 12584 | 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 | 4770 | logplain |
d--------- | eris | 233 | logplain |
d--------- | examples | 71 | logplain |
-rw-r--r-- | guix.scm | 1217 | logplain |
-rw-r--r-- | hall.scm | 2077 | logplain |
-rw-r--r-- | pre-inst-env.in | 434 | logplain |
d--------- | scripts | 53 | logplain |
d--------- | test-vectors | 1559 | logplain |
d--------- | tests / eris | 31 | logplain |