idris-1.3.4: Functional Programming Language with Dependent Types
Contents
Index
License
BSD3
Maintainer
The Idris Community.
Safe Haskell
None
Language
Haskell2010
Idris.Unlit
Description
Documentation
unlit
::
FilePath
->
String
->
TC
String
#