Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

12 lines (8 sloc) 0.191 kb
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
Jump to Line
Something went wrong with that request. Please try again.