Module lambda_calculus::parser
[−]
[src]
A parser for lambda expressions with De Bruijn indices
Enums
Error |
A type to represent a parsing error. |
Functions
parse |
Parses the input |