nano-js-0.1.0.0: Small Language for Implementing Verification Algorithms

Safe HaskellNone

Language.Nano.Typecheck.Parse

Synopsis

Documentation

parseNanoFromFile :: FilePath -> IO (Nano SourcePos RefType)Source

Parse File and Type Signatures -------------------------------------------