jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.Utils
usort :: Ord a => [a] -> [a] Source
merge :: Ord a => [a] -> [a] -> [a] Source
nub :: (List f, Ord a, Hashable a) => f a -> [a] Source
popen :: FilePath -> [String] -> ByteString -> IO (ExitCode, ByteString) Source