minikanren

A Planet 2 package for minikanren

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedWednesday, July 5th, 2023 5:33:40pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgithub://github.com/takikawa/minikanren/master51a18cf82834fb1af7a0dc41af4b7894099a3d05
Last checkedMonday, July 22nd, 2024 4:03:01pm (UTC)
Last editedTuesday, January 22nd, 2013 8:36:47pm (UTC)
Date addedN/A
Modules
  • minikanren/main.rkt
  • minikanren/minikanren.scrbl
  • minikanren/minikanren.rkt