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

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 checkedMonday, December 10th, 2018 8:43:21pm (UTC)
Last editedSunday, October 15th, 2017 4:46:05pm (UTC)
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