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

README Download
Authors
Documentation
    Tags
    License
      Last updatedTuesday, August 4th, 2020 1:33:20pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/AlexKnauth/icfp2017-artifact-auas7pp.git?path=src#racketff9eca58487ec393fc2d8580e5d1aafedcd20808
      Last checkedSaturday, December 6th, 2025 7:52:22am (UTC)
      Last editedTuesday, August 17th, 2021 6:54:18pm (UTC)
      Date addedTuesday, 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