jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellSafe
LanguageHaskell98

Jukebox.Utils

Documentation

usort :: Ord a => [a] -> [a] Source #

merge :: Ord a => [a] -> [a] -> [a] Source #