private
|
Moved the-case-dispatch to ids.rkt
|
2017-05-09 20:20:42 +02:00 |
scribblings
|
Missing bits in the docs.
|
2017-05-09 19:52:42 +02:00 |
test
|
Fixed tests
|
2017-05-09 20:08:58 +02:00 |
.gitignore
|
Initial commit
|
2017-05-09 19:41:54 +02:00 |
.travis.yml
|
Drop older versions which lack prerequisites
|
2017-05-09 20:22:32 +02:00 |
info.rkt
|
Initial commit
|
2017-05-09 19:41:54 +02:00 |
LICENSE-more.md
|
Initial commit
|
2017-05-09 19:41:54 +02:00 |
LICENSE.txt
|
Initial commit
|
2017-05-09 19:41:54 +02:00 |
main.rkt
|
Moved the-case-dispatch to ids.rkt
|
2017-05-09 20:20:42 +02:00 |
README.md
|
Initial commit
|
2017-05-09 19:41:54 +02:00 |