User contributions
7 November 2025
User:Jon Awbrey/Figures and Tables 2
Cactus Language Stretching Exercises Display 2: + File:Cactus Language Stretching Exercises Display 2.png
+132
User:Jon Awbrey/Figures and Tables 2
Cactus Language Stretching Exercises Display 1: + File:Cactus Language Stretching Exercises Display 1.png | 300px
+106
File:Cactus Language Stretching Exercises Display 2.png
no edit summary
File:Cactus Language Stretching Exercises Display 1.png
no edit summary
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on One Variable: File:Boolean Functions on One Variable • Truth Table.png
+19
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Zero Variables: File:Boolean Functions on Zero Variables • Truth Table.png
+19
File:Boolean Functions on One Variable • Truth Table.png
no edit summary
File:Boolean Functions on Zero Variables • Truth Table.png
no edit summary
User:Jon Awbrey/Figures and Tables 2
add user work page
4 November 2025
User:Jon Awbrey/Cactus Language Stretching Exercises
Cactus Language • Stretching Exercises: adjust line spacing [4pt]
+1
User:Jon Awbrey/Cactus Language Stretching Exercises
Cactus Language • Stretching Exercises: center displays
-9
User:Jon Awbrey/Cactus Language Stretching Exercises
add ==Cactus Language • Stretching Exercises==
+9,171
User:Jon Awbrey/Cactus Language Stretching Exercises
add user work page
2 November 2025
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: replace wiki table with png File:Boolean Functions on Two Variables • Truth Table.png
-3,064
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: replace wiki table with png File:Boolean Functions on One Variable.png
-787
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: replace wiki table with png File:Boolean Functions on Zero Variables.png
-311
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: update
+306
30 October 2025
29 October 2025
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Two Variables: + File:Boolean Functions on Two Variables • Truth Table.png | 600px
+5
File:Boolean Functions on Two Variables • Truth Table.png
no edit summary
File:Boolean Functions on Two Variables (Truth Table).png
no edit summary
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Two Variables: + png placeholder
+250
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on One Variable: + File:Boolean Functions on One Variable.png | 600px
+234
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Zero Variables: {| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
-1
User:Jon Awbrey/Figures and Tables 1
fix typo -> cellpadding + adjust cellpaddings
-6
User:Jon Awbrey/Figures and Tables 1
Boolean Functions on Zero Variables: + File:Boolean Functions on Zero Variables.png | 600px
+239
File:Boolean Functions on One Variable.png
no edit summary
File:Boolean Functions on Zero Variables.png
no edit summary
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics
+5
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: update
-410
26 October 2025
22 October 2025
File:Cactus Language Semantic Translation Equational Form.png
no edit summary
File:Cactus Language Semantic Translation Functional Form.png
no edit summary
21 October 2025
User:Jon Awbrey/Figures and Tables 1
update work page
+568
File:Cactus Language Algorithmic Translation Rules.png
no edit summary
User:Jon Awbrey/Figures and Tables 1
update work page
+1,002
18 October 2025
17 October 2025
User:Jon Awbrey/Figures and Tables 1
+ Table 18. Boolean Functions on Two Variables
+3,379
User:Jon Awbrey/Figures and Tables 1
+ Table 17. Boolean Functions on One Variable
+1,082
User:Jon Awbrey/Figures and Tables 1
+ Table 16. Boolean Functions on Zero Variables
+610
User:Jon Awbrey/Figures and Tables 1
Format Samples: + <math>\xrightarrow[\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}]{\mathrm{Parse}}</math>
+94
User:Jon Awbrey/Figures and Tables 1
no edit summary
+52
User:Jon Awbrey/Figures and Tables 1
+ Table 14. Semantic Translation • Functional Form + Table 15. Semantic Translation • Equational Form
+4,678
User:Jon Awbrey/Figures and Tables 1
+ <math>\xrightarrow{\mathrm{Parse}}</math> + <math>\leftrightsquigarrow</math>
+108
User:Jon Awbrey/Figures and Tables 1
add user page
User:Jon Awbrey/Figures and Tables
add user page
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: fix problem with tildes (~) in \texttt environment
+22
User:Jon Awbrey/Cactus Language Semantics Work
Cactus Language • Semantics: use \texttt{} instead of \underline{}
-63
User talk:Jon Awbrey/Cactus Language Semantics Work
Format Tests
User:Jon Awbrey/Cactus Language Semantics Work
{{anchor|Semantics}}Cactus Language • Semantics: anchor template apparently not implemented here
-20