-- | The toplevel module exports the core language, in -- 'Language.DSKanren.Core' and some simple combinators from -- 'Language.DSKanren.Sugar'. module Language.DSKanren ( module Language.DSKanren.Core , module Language.DSKanren.Sugar ) where import Language.DSKanren.Core import Language.DSKanren.Sugar