Revision c261926e930f9a0e57ce897f3f8748456661b12c authored by Jeroen Ketema on 02 December 2009, 19:35:53 UTC, committed by Jeroen Ketema on 02 December 2009, 19:35:53 UTC
The parser parses lambda terms with variables. The lambda terms follow the following grammar: T -> (T) | T T | \ var . T | var where var is of the form [a-z][0-9]*. As usual the application associates to the left and the term under abstractions extend as far right as possible.
1 parent d96d2da
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 9 bytes |
LambdaTermClass.py | -rw-r--r-- | 6.2 KB |
lambda.py | -rw-r--r-- | 1.2 KB |
lambda_parser.py | -rw-r--r-- | 4.6 KB |
Computing file changes ...