idris-1.3.4: Functional Programming Language with Dependent Types
Quick Jump
Contents
Index
License
BSD3
Maintainer
The Idris Community.
Safe Haskell
Safe-Inferred
Language
Haskell2010
Idris.Elab.RunElab
Description
Documentation
elabRunElab
::
ElabInfo
->
FC
->
PTerm
-> [String] ->
Idris
()
#