Skip to content

Embed URL

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
t ::= terms:
x variable
\x:T .t abstraction
t t application
v ::= values:
\x:T .t abstraction value
T ::= types:
T -> T type of functions
Ⲅ ::= contexts:
φ empty context
Ⲅ, x:T terms variable binding
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.