idris-0.9.20: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.ElabDecls

Synopsis

Documentation

elabMain :: Idris Term Source

Return the elaborated term which calls main

elabPrims :: Idris () Source

Elaborate primitives