Skip to content

Instantly share code, notes, and snippets.

@shouichi

shouichi/binding.ml

Created February 6, 2012 07:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save shouichi/1750432 to your computer and use it in GitHub Desktop.
Save shouichi/1750432 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1
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