Source
Contents
Index
idris
Safe Haskell
None
Idris.Unlit
Documentation
unlit
::
FilePath
->
String
->
TC
String
Source