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

Safe HaskellSafe-Inferred

Language.Nano.Files

Contents

Description

This module contains Haskell variables representing globally visible names for files, paths, extensions.

Synopsis

Hardwired paths

getPreludePath :: IO FilePathSource