Sit-0.2022.3.18: Prototypical type checker for Type Theory with Sized Natural Numbers
Safe HaskellSafe-Inferred
LanguageHaskell98

Sit

Synopsis

Documentation

main :: IO () Source #

Type-check file given by command line.

check :: String -> IO () Source #

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

checkFile :: FilePath -> IO () Source #

Run the type checker on file given by path.