on 496cf41 help sign in
Idris-dev/lib/Language/Reflection.idr
11 lines 192 B history raw
1module Language.Reflection
3TTName : Type
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