Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"
MyWikiBiz, Author Your Legacy — Sunday October 26, 2025
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
| Line 36: | Line 36: | ||
===Propositional Equation Reasoning Systems=== | ===Propositional Equation Reasoning Systems=== | ||
| − | ====Arisbe List ( | + | ====Arisbe List (Mar 2001)==== |
| − | * http://stderr.org/pipermail/arisbe/2001-April/000409.html | + | * http://stderr.org/pipermail/arisbe/2001-March/thread.html#380 |
| + | : http://stderr.org/pipermail/arisbe/2001-April/000409.html | ||
====Inquiry List (Mar 2003)==== | ====Inquiry List (Mar 2003)==== | ||