rzk-0.4.0: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rzk.Main

Documentation

main :: IO () Source #

ppUsage :: IO () Source #

typecheckString :: String -> Either String String Source #