idris-1.3.3: Functional Programming Language with Dependent Types
Source
Contents
Index
License
BSD3
Maintainer
The Idris Community.
Safe Haskell
None
Language
Haskell2010
IRTS.CodegenC
Description
Documentation
codegenC
::
CodeGenerator
Source
#