andrcmdr/λcube.md

Forked from brendanzab/λcube.md

Last active February 21, 2025 12:28

Star (2) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/andrcmdr/7121c3d9eb83f06785d8055a5c3604a3.js"></script>
Save andrcmdr/7121c3d9eb83f06785d8055a5c3604a3 to your computer and use it in GitHub Desktop.

Download ZIP

Lambda λ Cube (by Hendrik 'Henk' Pieter Barendregt)

Raw

System λ

e ::= x | e e | λ x. e

System λ→

t ::= x | t → t

e ::=
  x
  e e
  λ x : t . e

System λω

k ::= *

t ::= a | ∀ a : k . t

e ::=
  x
  e e
  λ x : t . e
  Λ a : k . e

System λPω

e ::=
  x
  *
  e e
  ∀ x : e . e
  λ x : e . e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment