Idris2Doc : Frex.Magic

Frex.Magic

Reexports

import public Control.Monad.State
import public Frex
import public Language.Reflection
import public Language.Reflection.Relation

Definitions

curry : (a ^ n -> a) -> Elab TTImp: Visibility: public export
insert : TTImp -> List TTImp -> List TTImp: Visibility: public export
frexMagic : Frexlet -> Model pres -> Elab t: Visibility: public export