Documentation

demos ∷ [(String, IO ())]

tests ∷ [(String, IO ())]

main ∷ IO ()

runProc ∷ String → IO () → IO ()