elm package cache
Packages
Reroutes
About
lamdera.com
dvberkel
/
microkanren
/
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
A goal that binds a variable to the natural numbers.