f53eb7f | Jeroen Ketema | 25 June 2011, 19:28:43 UTC | Add README | 25 June 2011, 19:28:43 UTC |
ea1c3d8 | Jeroen Ketema | 25 June 2011, 17:56:35 UTC | Include ubigraph.py File adapted to include copyright | 25 June 2011, 17:56:35 UTC |
d3ba15a | Jeroen Ketema | 25 June 2011, 17:51:48 UTC | GPLv3 license | 25 June 2011, 17:51:48 UTC |
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 |