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 | Monday, October 5th, 2020 6:33:45am (UTC) |
---|
Ring | 1 |
---|
Conflicts | None |
---|
Dependencies | |
---|
Most recent build results | |
---|
Version Exceptions | |
---|
Last checked | Friday, January 22nd, 2021 2:33:39am (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
|
---|