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.
|Last updated||Thursday, April 19th, 2018 10:53:34pm (UTC)|
|Most recent build results|
|Last checked||Sunday, February 17th, 2019 10:50:46pm (UTC)|
|Last edited||Sunday, October 15th, 2017 4:46:05pm (UTC)|