Created

Embed URL

HTTPS clone URL

SSH clone URL

You can clone with HTTPS or SSH.

Download Gist
View binding.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
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.