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:

Authors
Documentation
Tags
Last updatedThursday, April 19th, 2018 10:53:34pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/AlexKnauth/icfp2017-artifact-auas7pp?path=src#racketff9eca58487ec393fc2d8580e5d1aafedcd20808
    Last checkedSunday, February 17th, 2019 10:50:46pm (UTC)
    Last editedSunday, October 15th, 2017 4:46:05pm (UTC)
    Date addedN/A
    Modules
    • icfp2017-minikanren/mk/test-type-infer.rkt
    • icfp2017-minikanren/mk/test-all.rkt
    • icfp2017-minikanren/mk/test-quines.rkt
    • icfp2017-minikanren/intro-examples.rkt
    • icfp2017-minikanren/mk/test-arithmetic.rkt
    • icfp2017-minikanren/mk/type-infer.rkt
    • icfp2017-minikanren/mk/mk.rkt
    • icfp2017-minikanren/evalo-standard.rkt
    • icfp2017-minikanren/mk/test-check.rkt
    • icfp2017-minikanren/evalo-scoping.rkt
    • icfp2017-minikanren/racket-scheme-compat/specialized-scheme-compat.rkt
    • icfp2017-minikanren/evalo-small.rkt
    • icfp2017-minikanren/evalo-optimized.rkt
    • icfp2017-minikanren/mk/evalo.rkt
    • icfp2017-minikanren/mk/test-interp.rkt
    • icfp2017-minikanren/mk/arithmetic.rkt
    • icfp2017-minikanren/racket-scheme-compat/lang/reader.rkt