Skip to content
Create a gist now

Instantly share code, notes, and snippets.

Embed URL


Subversion checkout URL

You can clone with
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.