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, July 1st, 2019 2:13:43am (UTC) |
---|
Ring | 2 |
---|
Conflicts | None |
---|
Dependencies | |
---|
Most recent build results | |
---|
Version Exceptions | |
---|
Last checked | Monday, December 9th, 2019 10:07:39pm (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/main.rkt
- minikanren-ee/test/test1.rkt
- minikanren-ee/core.rkt
- minikanren-ee/syntax-classes.rkt
|
---|