on 01dc619 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