Name: Anonymous 2017-01-18 19:43
when did this
become hotter than this:
?
The 'a thingy effectively says that the lifetime of a lexeme is now tied to the lifetime of the lexer
become hotter than this:
{x: int} ⊢ x ≤ 1 : boolean
----------------------------------------
{} ⊢ (λx : int. (x ≤ 1) : int → boolean {} ⊢ 2 : int
-------------------------------------------------------------------
{} ⊢ ((λx : int. (x ≤ 1)) 2) : boolean ∎?