sort by:
Revision Author Date Message Commit Date
1d8c6bb Update readme 29 March 2015, 11:19:21 UTC
6c2c70b pylint 29 July 2011, 15:56:37 UTC
04f6ffe Better file closing 28 July 2011, 14:08:33 UTC
c01ba13 Fix typo in README 27 July 2011, 21:48:30 UTC
48f7642 Add dependencies to README 27 July 2011, 21:37:11 UTC
7f80bba Move code to src subdirectory 27 July 2011, 21:28:49 UTC
1352619 Close file and remove maintainance item 27 July 2011, 20:58:06 UTC
bb24289 Update about box 27 July 2011, 14:46:32 UTC
744b258 Update readme and examples file 27 July 2011, 11:21:24 UTC
e54a73b Remove the last of the unicode characters 27 July 2011, 09:42:09 UTC
97a1a69 Give window its proper size automatically 27 July 2011, 09:38:38 UTC
d590a97 Remove unicode characters This only works with unicode wxWidgets builds 27 July 2011, 09:32:18 UTC
68c896a Remove test file 27 July 2011, 09:03:17 UTC
9602015 Random TRS terms 27 July 2011, 09:02:49 UTC
cd591f9 Random lambda terms Code adapted from Anagopos 26 July 2011, 23:23:52 UTC
3b01adf Remove dead code 26 July 2011, 19:53:09 UTC
d384121 Add TRS term parser Fix a number of bugs in earlier code in the process 26 July 2011, 19:48:33 UTC
0e64432 Move lambda term parser 26 July 2011, 17:11:11 UTC
b76cd88 TRS terms and TRS rule set parsing 26 July 2011, 14:44:49 UTC
6048516 Move lambda calculus support into package 26 July 2011, 10:47:22 UTC
3165530 Reset text color when text changed 26 July 2011, 09:51:20 UTC
5de64f3 Better status information 26 July 2011, 09:38:39 UTC
7f635b8 Provide node and term count status information 25 July 2011, 23:32:23 UTC
9db4331 Remove unneeded operation 25 July 2011, 23:15:48 UTC
db3de90 Make backward and forward work and term coloring 25 July 2011, 23:15:35 UTC
2c7b942 Add missing parameters in ubigraph.py 25 July 2011, 23:14:49 UTC
301932d Add forward drawing code 25 July 2011, 19:50:43 UTC
8fcbee0 Import the relevant parts of the Anagopos GUI * Only parsing of lambda terms currently works 25 July 2011, 16:58:30 UTC
f53eb7f Add README 25 June 2011, 19:28:43 UTC
ea1c3d8 Include ubigraph.py File adapted to include copyright 25 June 2011, 17:56:35 UTC
d3ba15a GPLv3 license 25 June 2011, 17:51:48 UTC
d1be8ad Add file with examples from Anagapos paper 24 June 2011, 12:01:57 UTC
87f8963 Visualization with ubigraph Requires ubigraph.py 23 June 2011, 18:00:21 UTC
1bd317f Better toString in LambdaTermClass 23 June 2011, 17:58:53 UTC
c261926 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 Add function that iteratively reduces lambda terms Also include two test terms: omega and Y 01 December 2009, 21:32:39 UTC
bf4450e Add dictionary test 01 December 2009, 20:59:45 UTC
0dff117 Implement __eq__, __hash__, and __str__ 01 December 2009, 20:54:16 UTC
691118e Re-order member functions 01 December 2009, 20:33:45 UTC
95b6d4d Implement reduction 01 December 2009, 19:50:12 UTC
41c7644 Let bogus member functions throw exceptions 01 December 2009, 19:48:37 UTC
ae0230a Add functionality to track down redexes 30 November 2009, 21:44:58 UTC
17c7ab0 Add .gitignore 30 November 2009, 18:51:21 UTC
1a670e8 Rudementry class implementing lambda terms 30 November 2009, 18:49:47 UTC
back to top