https://github.com/jeroenk/Anagopos3D

sort by:
Revision Author Date Message Commit Date
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