Changes

Directory talk:Jon Awbrey/Papers/Cactus Language (view source)

70 bytes added , 17:07, 5 January 2009

Line 36: Line 36:

===Propositional Equation Reasoning Systems===

−

====Arisbe List (Mar 2001)====

+

====Arisbe List (Mar–Apr 2001)====

* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380

Line 43: Line 43:

# http://stderr.org/pipermail/arisbe/2001-April/000407.html

# http://stderr.org/pipermail/arisbe/2001-April/000409.html

+

# http://stderr.org/pipermail/arisbe/2001-April/000411.html

====Inquiry List (Mar 2003)====

12,122

edits