MiniAgda
Safe HaskellNone
LanguageHaskell98

ScopeChecker

Synopsis

Documentation

scopeCheck :: [Declaration] -> Either TraceError ([Declaration], SCState) Source #

Entry point for scope checker.