ds-kanren-0.2.0.0: A subset of the miniKanren language

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.DSKanren

Description

The toplevel module exports the core language, in Core and some simple combinators from Sugar.

Documentation

module Language.DSKanren.Core

module Language.DSKanren.Sugar