idris-0.9.3: lib/language/reflection.idr

module language.reflection

TTName : Set
TTName = String

data TT = Var TTName
        | Lam TTName TT TT
        | Pi  TTName TT TT
        | Let TTName TT TT TT
        | App TTName TT TT