User contributions
MyWikiBiz, Author Your Legacy — Saturday November 15, 2025
Jump to navigationJump to search- 20:12, 20 February 2013 diff hist +2,857 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: format tables
- 20:00, 20 February 2013 diff hist -145 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 19:42, 20 February 2013 diff hist +1,484 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 19:33, 20 February 2013 diff hist -103 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 19:31, 20 February 2013 diff hist +862 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 19:25, 20 February 2013 diff hist -95 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 19:24, 20 February 2013 diff hist +854 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 18:20, 20 February 2013 diff hist 0 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: renumber tables
- 18:20, 20 February 2013 diff hist +3,116 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Current Work
- 16:21, 20 February 2013 diff hist -59 Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →Sign Relations: reformat tables
- 04:04, 20 February 2013 diff hist +3,170 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: format tables
- 03:52, 20 February 2013 diff hist -59 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1 →1.3.4.2. Sign Relations : A Primer: redo tables
- 03:30, 20 February 2013 diff hist +292 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: markup
- 03:08, 20 February 2013 diff hist +351 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: markup
- 21:36, 19 February 2013 diff hist +204 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: markup
- 03:40, 16 February 2013 diff hist +2,075 Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems →Secondary sources: add refs
- 14:40, 15 February 2013 diff hist 0 Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems {{DISPLAYTITLE:Prospects for Inquiry Driven Systems}}
- 20:20, 14 February 2013 diff hist -1 Directory:Jon Awbrey/Projects/Theme One Program →Theme One Program : Re-En-Visionary Programming Project
- 04:36, 14 February 2013 diff hist +12 Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems →Work Area
- 18:52, 13 February 2013 diff hist +132 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: markup
- 18:31, 13 February 2013 diff hist +504 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.35. Reducibility of Sign Relations: markup
- 01:03, 13 February 2013 diff hist 0 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: correction
- 00:57, 13 February 2013 diff hist +221 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: markup
- 00:45, 13 February 2013 diff hist +100 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: markup
- 15:25, 5 February 2013 diff hist -2 Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems →1.1.2.3. The Trees, The Forest: fix typo
- 15:55, 4 February 2013 diff hist +152 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: markup
- 15:22, 4 February 2013 diff hist +179 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: markup
- 14:37, 4 February 2013 diff hist +107 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: markup;
- 17:14, 2 February 2013 diff hist +18 N Category:Lambda Calculus '''{{PAGENAME}}''' current
- 17:14, 2 February 2013 diff hist +18 N Category:Combinator Calculus '''{{PAGENAME}}''' current
- 17:12, 2 February 2013 diff hist +62 Directory:Jon Awbrey/Papers/Propositions As Types add cats
- 17:08, 2 February 2013 diff hist -20,891 Help talk:Listing wrong place
- 18:30, 30 January 2013 diff hist +39 Directory:Jon Awbrey/Papers/Propositions As Types NB. combinators are being applied on the right of their arguments
- 18:18, 30 January 2013 diff hist +165 Directory:Jon Awbrey/Papers/Propositions As Types '''NB.''' Notice that I am carrying out combinator applications “on the right”, so the formulas might read backwards from what many people are used to.
- 21:30, 29 January 2013 diff hist +167 User talk:OmniMediaGroup →Bad Category Page Needs Deletion: new section
- 05:22, 29 January 2013 diff hist +18 N Category:Type Theory '''{{PAGENAME}}''' current
- 05:21, 29 January 2013 diff hist +18 N Category:Programming Languages '''{{PAGENAME}}''' current
- 05:20, 29 January 2013 diff hist +24 Directory:Jon Awbrey/Papers/Propositions As Types →Inquiry List, Commentary : Jul 2005: fix typo
- 19:54, 28 January 2013 diff hist +18 N Category:Computing '''{{PAGENAME}}''' current
- 19:51, 28 January 2013 diff hist 0 Category:Computer Science current
- 19:50, 28 January 2013 diff hist +47 Category:Computer Science Category:ComputingCategory:Computers
- 18:08, 28 January 2013 diff hist +18 N Category:Combinatory Logic '''{{PAGENAME}}''' current
- 18:05, 28 January 2013 diff hist -4 Category:Computer Science '''{{PAGENAME}}'''
- 18:02, 28 January 2013 diff hist +215 Directory:Jon Awbrey/Papers/Propositions As Types add categories
- 16:28, 26 January 2013 diff hist +190 Directory:Jon Awbrey/Papers/Riffs and Rotes add animations
- 17:15, 20 January 2013 diff hist +1 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Operational Representation
- 17:14, 20 January 2013 diff hist -1 Directory:Jon Awbrey/Papers/Differential Logic : Introduction →Operational Representation
- 15:06, 14 January 2013 diff hist +84 User:Jon Awbrey →Education: add archive links
- 22:01, 13 January 2013 diff hist +84 Directory:Jon Awbrey →Education: add archive links
- 21:42, 7 January 2013 diff hist +276 Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 →6.34. Set-Theoretic Constructions: markup
