elm package cache

Packages Reroutes About lamdera.com

dvberkel/microkanren/1.1.0

NOTE: the latest version is 1.2.0

README About Versions Source Modules

MicroKanren.Util

Various utilities such

nat : Term Int -> Goal Int

A goal that binds a variable to the natural numbers.

README
About
3 versions
Source

Modules

MicroKanren
MicroKanren.Kernel
MicroKanren.UserLevel
MicroKanren.Util

About this package server Reroutes reroutes.json

Pages and docs rendering from package.elm-lang.org, © 2012-2020 Evan Czaplicki. © 2026 Lamdera