jukebox-0.5.3: A first-order reasoning toolbox
Safe HaskellSafe-Inferred
LanguageHaskell2010

Jukebox.Utils

Documentation

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

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

popen :: FilePath -> [String] -> String -> IO (ExitCode, String) Source #