12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 29, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 21:22, 29 June 2009
, 21:22, 29 June 2009→Work Area
==Work Area==
==Work Area==
===Logical Cacti===
; Theme One Program — Logical Cacti
: http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
: http://stderr.org/pipermail/inquiry/2005-February/002360.html
: http://stderr.org/pipermail/inquiry/2005-February/002361.html
<pre>
Up till now we've been working to hammer out a two-edged sword of syntax,
Up till now we've been working to hammer out a two-edged sword of syntax,
honing the syntax of "painted and rooted cacti and expressions" (PARCAE),
honing the syntax of "painted and rooted cacti and expressions" (PARCAE),
| | | | |
| | | | |
o----o-------------------o-------------------o-------------------o
o----o-------------------o-------------------o-------------------o
For the time being, the main things to take away from Tables 13 and 14 are
For the time being, the main things to take away from Tables 13 and 14 are
