User contributions
24 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1
+33
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1
+6
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1
+23
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+468
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1
+12
Directory:Jon Awbrey/Papers/Propositions As Types
Composition, or the Composer: markup
+159
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: move motto
-59
Directory:Jon Awbrey/Papers/Propositions As Types
Step 5: markup
+189
Directory:Jon Awbrey/Papers/Propositions As Types
Step 4: markup
+461
Directory:Jon Awbrey/Papers/Propositions As Types
Step 3 (Optional): markup
+22
23 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Step 2: markup
+144
Directory:Jon Awbrey/Papers/Propositions As Types
Step 1: markup
+458
Directory:Jon Awbrey/Papers/Propositions As Types
NKS Forum: change link
+10
Directory:Jon Awbrey/Papers/Propositions As Types
NKS Forum: + link
+59
Directory:Jon Awbrey/Papers/Propositions As Types
NKS Forum: + link
+63
User:Jon Awbrey
Presently …: + item
+86
Directory:Jon Awbrey
Presently …: + item
+86
Directory:Jon Awbrey/Papers/Propositions As Types
Identity, or the Identifier: markup
+611
Directory:Jon Awbrey/Papers/Propositions As Types
descriptive headings
-1,069
Directory:Jon Awbrey/Papers/Propositions As Types
Document History: markup
-580
22 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
segment
-465
Directory:Jon Awbrey/Papers/Propositions As Types
segment
-2,461
Directory:Jon Awbrey/Papers/Propositions As Types
import raw text
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
lose a few mathematical cliches
-7
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
clarify & de-awk
+7
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Example 1: fix primes
+34
User:Jon Awbrey
Presently …: + item
+103
Directory:Jon Awbrey
Presently …: + item
+103
21 March 2009
20 March 2009
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
NKS Forum : Feb–Jun 2004: + archive link
+59
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Document History: reorg
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Document History: + data
+137
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Document History: + thread anchor
+48
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Document History: markup
-315
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
descriptive headings
-328
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Output Conditions for Tape Input "1": markup
+1,308
19 March 2009
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Output Conditions for Tape Input "0": markup
+1,127
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Output Conditions for Tape Input "0": markup
+182
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Output: markup
+93
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation: markup
+269
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Turing Machine Example: spacing
-5
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation: markup
+1,027
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Computation: markup
+75
18 March 2009
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Turing Machine Example: descriptive headings
-104
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
descriptive headings
+58
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Turing Machine Example: retitle section
+15
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Transition Relations: \operatorname{…}
+52
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Register Partition: <math>\operatorname{H}</math>
+26
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
State Partition: <math>\operatorname{M}</math>
+26
Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
Terminal Conditions: <math>\operatorname{M}</math>
+26