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

Safe Haskell	Safe-Inferred

Paths_nano_js

Documentation

version :: Version Source

getBinDir :: IO FilePath Source

getLibDir :: IO FilePath Source

getDataDir :: IO FilePath Source

getLibexecDir :: IO FilePath Source

getDataFileName :: FilePath -> IO FilePath Source