on 8464bc4 help sign in
Idris-dev/lib/Language/Reflection.idr
11 lines 191 B history raw
1module Language.Reflection
3TTName : Set
4TTName = String
6data TT = Var TTName
7 | Lam TTName TT TT
8 | Pi TTName TT TT
9 | Let TTName TT TT TT
10 | App TTName TT TT