nano-js-0.1.0.0: Small Language for Implementing Verification Algorithms
Language.Nano.Typecheck.Typecheck
Synopsis
verifyFile :: FilePath -> IO (FixResult SourcePos)Source
Top-level Verifier
typeCheck :: Reftable r => Nano AnnSSA (RType r) -> Nano AnnType (RType r)Source