jukebox-0.1.2: 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