1d8c6bb | Jeroen Ketema | 29 March 2015, 11:19:21 UTC | Update readme | 29 March 2015, 11:19:21 UTC |
6c2c70b | Jeroen Ketema | 29 July 2011, 15:54:41 UTC | pylint | 29 July 2011, 15:56:37 UTC |
04f6ffe | Jeroen Ketema | 28 July 2011, 14:08:33 UTC | Better file closing | 28 July 2011, 14:08:33 UTC |
c01ba13 | Jeroen Ketema | 27 July 2011, 21:48:30 UTC | Fix typo in README | 27 July 2011, 21:48:30 UTC |
48f7642 | Jeroen Ketema | 27 July 2011, 21:37:11 UTC | Add dependencies to README | 27 July 2011, 21:37:11 UTC |
7f80bba | Jeroen Ketema | 27 July 2011, 21:28:49 UTC | Move code to src subdirectory | 27 July 2011, 21:28:49 UTC |
1352619 | Jeroen Ketema | 27 July 2011, 20:54:49 UTC | Close file and remove maintainance item | 27 July 2011, 20:58:06 UTC |
bb24289 | Jeroen Ketema | 27 July 2011, 14:46:32 UTC | Update about box | 27 July 2011, 14:46:32 UTC |
744b258 | Jeroen Ketema | 27 July 2011, 11:17:04 UTC | Update readme and examples file | 27 July 2011, 11:21:24 UTC |
e54a73b | Jeroen Ketema | 27 July 2011, 09:42:09 UTC | Remove the last of the unicode characters | 27 July 2011, 09:42:09 UTC |
97a1a69 | Jeroen Ketema | 27 July 2011, 09:38:38 UTC | Give window its proper size automatically | 27 July 2011, 09:38:38 UTC |
d590a97 | Jeroen Ketema | 27 July 2011, 09:32:18 UTC | Remove unicode characters This only works with unicode wxWidgets builds | 27 July 2011, 09:32:18 UTC |
68c896a | Jeroen Ketema | 27 July 2011, 09:03:17 UTC | Remove test file | 27 July 2011, 09:03:17 UTC |
9602015 | Jeroen Ketema | 27 July 2011, 09:02:49 UTC | Random TRS terms | 27 July 2011, 09:02:49 UTC |
cd591f9 | Jeroen Ketema | 26 July 2011, 23:23:52 UTC | Random lambda terms Code adapted from Anagopos | 26 July 2011, 23:23:52 UTC |
3b01adf | Jeroen Ketema | 26 July 2011, 19:53:09 UTC | Remove dead code | 26 July 2011, 19:53:09 UTC |
d384121 | Jeroen Ketema | 26 July 2011, 19:47:52 UTC | Add TRS term parser Fix a number of bugs in earlier code in the process | 26 July 2011, 19:48:33 UTC |
0e64432 | Jeroen Ketema | 26 July 2011, 17:11:11 UTC | Move lambda term parser | 26 July 2011, 17:11:11 UTC |
b76cd88 | Jeroen Ketema | 26 July 2011, 14:41:08 UTC | TRS terms and TRS rule set parsing | 26 July 2011, 14:44:49 UTC |
6048516 | Jeroen Ketema | 26 July 2011, 10:47:22 UTC | Move lambda calculus support into package | 26 July 2011, 10:47:22 UTC |
3165530 | Jeroen Ketema | 26 July 2011, 09:51:20 UTC | Reset text color when text changed | 26 July 2011, 09:51:20 UTC |
5de64f3 | Jeroen Ketema | 26 July 2011, 09:38:39 UTC | Better status information | 26 July 2011, 09:38:39 UTC |
7f635b8 | Jeroen Ketema | 25 July 2011, 23:32:23 UTC | Provide node and term count status information | 25 July 2011, 23:32:23 UTC |
9db4331 | Jeroen Ketema | 25 July 2011, 23:15:48 UTC | Remove unneeded operation | 25 July 2011, 23:15:48 UTC |
db3de90 | Jeroen Ketema | 25 July 2011, 23:15:35 UTC | Make backward and forward work and term coloring | 25 July 2011, 23:15:35 UTC |
2c7b942 | Jeroen Ketema | 25 July 2011, 23:14:49 UTC | Add missing parameters in ubigraph.py | 25 July 2011, 23:14:49 UTC |
301932d | Jeroen Ketema | 25 July 2011, 19:50:43 UTC | Add forward drawing code | 25 July 2011, 19:50:43 UTC |
8fcbee0 | Jeroen Ketema | 25 July 2011, 16:56:41 UTC | Import the relevant parts of the Anagopos GUI * Only parsing of lambda terms currently works | 25 July 2011, 16:58:30 UTC |
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 |