minikanren-ee
An embedded expander wrapper around faster-minikanren, offering better error messages and some automatic program transformations
Build status: ok passing tests
Authors | |
---|
Documentation | |
---|
Tags | |
---|
Last updated | Tuesday, April 6th, 2021 6:06:30pm (UTC) |
---|
Ring | 1 |
---|
Conflicts | None |
---|
Dependencies | |
---|
Most recent build results | |
---|
Version Exceptions | |
---|
Last checked | Sunday, April 11th, 2021 5:08:40am (UTC) |
---|
Last edited | Friday, June 21st, 2019 7:55:29pm (UTC) |
---|
Date added | Friday, June 21st, 2019 7:55:29pm (UTC) |
---|
Modules | - minikanren-ee/test/test2.rkt
- minikanren-ee/syntax-classes.rkt
- minikanren-ee/test/test1.rkt
- minikanren-ee/main.rkt
- minikanren-ee/core.rkt
|
---|