Language.Hakaru.Command
type Term a
parseAndInfer
parseAndInfer'
parseAndInferWithDebug
splitLines
readFromFile
simpleCommand
writeToFile