Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Infered

Agda.Compiler.JS.Substitution

Documentation

map :: Nat -> (Nat -> LocalId -> Exp) -> Exp -> ExpSource

subst :: Nat -> [Exp] -> Exp -> ExpSource

map' :: Nat -> (Nat -> LocalId -> Exp) -> Exp -> ExpSource

subst' :: Nat -> [Exp] -> Exp -> ExpSource

apply :: Exp -> [Exp] -> ExpSource