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 #

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