dvberkel / microkanren / MicroKanren.Util

Various utilities such

nat : MicroKanren.Kernel.Term Basics.Int -> MicroKanren.Kernel.Goal Basics.Int

A goal that binds a variable to the natural numbers.