https://github.com/jeroenk/Anagopos3D
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
Tip revision: c261926e930f9a0e57ce897f3f8748456661b12c authored by Jeroen Ketema on 02 December 2009, 19:35:53 UTC
Add lambda term parser
Add lambda term parser
Tip revision: c261926
| 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 ...
