idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Unlit

Documentation

unlit :: FilePath -> String -> TC StringSource