Sit

Documentation

main :: IO ()

Type-check file given by command line.

check :: String -> IO ()

Run the type checker on text/contents of a file.

checkFile :: FilePath -> IO ()

Run the type checker on file given by path.