Changes

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

155 bytes removed , 20:35, 22 December 2008

Line 3,057: Line 3,057:

==Notes Found in a Cactus Patch==

+

===Cactus Language===

<pre>

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~IDS, NKS -- CL~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~CL. Cactus Language~~

−

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Line 3,515: Line 3,509:

| @ | ( t ,(r),(s)) | | slices r, s. |

o-----------------o-----------------o-----------------o-----------------o

+

</pre>

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

+

===Differential Logic===

−

Differential Logic

+

<pre>

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

12,080

edits