Kulitta-2.2.1: Library for automated composition and musical learning

Safe HaskellSafe
LanguageHaskell98

Kulitta.Constraints

Documentation

hProg :: Predicate (a, a) -> Predicate [a] Source #

hasDups :: Eq a => [a] -> Bool Source #

pairProg2 :: (Eq a, Show a) => QSpace a -> EqRel a -> Predicate (a, a) -> [a] -> [[a]] Source #