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 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 checkedSunday, October 13th, 2024 12:46:31pm (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