icfp2017-minikanren
A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized.
Build status: ok passing tests missing license metadata
Authors | |
---|
Documentation | |
---|
Tags | |
---|
License | |
---|
Last updated | Tuesday, August 4th, 2020 1:33:20pm (UTC) |
---|
Ring | 1 |
---|
Conflicts | None |
---|
Dependencies | |
---|
Most recent build results | |
---|
Version Exceptions | |
---|
Last checked | Sunday, October 13th, 2024 12:46:31pm (UTC) |
---|
Last edited | Tuesday, August 17th, 2021 6:54:18pm (UTC) |
---|
Date added | Tuesday, August 17th, 2021 6:54:18pm (UTC) |
---|
Modules | - icfp2017-minikanren/mk/test-all.rkt
- icfp2017-minikanren/racket-scheme-compat/lang/reader.rkt
- icfp2017-minikanren/evalo-optimized.rkt
- icfp2017-minikanren/mk/mk.rkt
- icfp2017-minikanren/mk/arithmetic.rkt
- icfp2017-minikanren/mk/test-interp.rkt
- icfp2017-minikanren/mk/test-quines.rkt
- icfp2017-minikanren/mk/test-check.rkt
- icfp2017-minikanren/mk/test-type-infer.rkt
- icfp2017-minikanren/evalo-scoping.rkt
- icfp2017-minikanren/intro-examples.rkt
- icfp2017-minikanren/racket-scheme-compat/specialized-scheme-compat.rkt
- icfp2017-minikanren/evalo-small.rkt
- icfp2017-minikanren/mk/evalo.rkt
- icfp2017-minikanren/mk/test-arithmetic.rkt
- icfp2017-minikanren/evalo-standard.rkt
- icfp2017-minikanren/mk/type-infer.rkt
|
---|