- A more readable and easy-to-understand lexer was implemeneted in Simple Typed Lambda Calculus.
t ::=
x
l x. t
t t
v ::=
x
l x. t
TODO
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
t ::=
x
l x. t
t t
v ::=
x
l x. t
TODO