| d1be8ad | Jeroen Ketema | 24 June 2011, 11:43:25 UTC | Add file with examples from Anagapos paper | 24 June 2011, 12:01:57 UTC |
| 87f8963 | Jeroen Ketema | 23 June 2011, 18:00:21 UTC | Visualization with ubigraph Requires ubigraph.py | 23 June 2011, 18:00:21 UTC |
| 1bd317f | Jeroen Ketema | 23 June 2011, 17:58:53 UTC | Better toString in LambdaTermClass | 23 June 2011, 17:58:53 UTC |
| c261926 | Jeroen Ketema | 02 December 2009, 19:35:53 UTC | Add lambda term parser 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. | 02 December 2009, 19:35:53 UTC |
| d96d2da | Jeroen Ketema | 01 December 2009, 21:32:39 UTC | Add function that iteratively reduces lambda terms Also include two test terms: omega and Y | 01 December 2009, 21:32:39 UTC |
| bf4450e | Jeroen Ketema | 01 December 2009, 20:59:45 UTC | Add dictionary test | 01 December 2009, 20:59:45 UTC |
| 0dff117 | Jeroen Ketema | 01 December 2009, 20:53:03 UTC | Implement __eq__, __hash__, and __str__ | 01 December 2009, 20:54:16 UTC |
| 691118e | Jeroen Ketema | 01 December 2009, 20:33:45 UTC | Re-order member functions | 01 December 2009, 20:33:45 UTC |
| 95b6d4d | Jeroen Ketema | 01 December 2009, 19:50:12 UTC | Implement reduction | 01 December 2009, 19:50:12 UTC |
| 41c7644 | Jeroen Ketema | 01 December 2009, 19:47:13 UTC | Let bogus member functions throw exceptions | 01 December 2009, 19:48:37 UTC |
| ae0230a | Jeroen Ketema | 30 November 2009, 21:44:58 UTC | Add functionality to track down redexes | 30 November 2009, 21:44:58 UTC |
| 17c7ab0 | Jeroen Ketema | 30 November 2009, 18:51:21 UTC | Add .gitignore | 30 November 2009, 18:51:21 UTC |
| 1a670e8 | Jeroen Ketema | 30 November 2009, 18:49:47 UTC | Rudementry class implementing lambda terms | 30 November 2009, 18:49:47 UTC |
