| Safe Haskell | None |
|---|
Language.Nano.Liquid.Liquid
Description
Top Level for Refinement Type checker
Documentation
verifyFile :: FilePath -> IO (FixResult SourcePos)Source
nano-js-0.1.0.0: Small Language for Implementing Verification Algorithms
| Safe Haskell | None |
|---|
Language.Nano.Liquid.Liquid
Description
Top Level for Refinement Type checker
verifyFile :: FilePath -> IO (FixResult SourcePos)Source