User contributions for Junkshipp
Jump to navigation
Jump to search
13 August 2025
- 00:1100:11, 13 August 2025 diff hist +241 User:Junkshipp/Sandbox →Example code current
12 August 2025
- 02:2302:23, 12 August 2025 diff hist +764 User:Junkshipp/Sandbox No edit summary
10 August 2025
- 12:2012:20, 10 August 2025 diff hist −2 User:Junkshipp/Sandbox →Notes
- 01:1401:14, 10 August 2025 diff hist +55 User:Junkshipp/Sandbox →Example code
- 01:1301:13, 10 August 2025 diff hist +410 User:Junkshipp/Sandbox →Example code
9 August 2025
- 23:1323:13, 9 August 2025 diff hist +31 User:Junkshipp/Sandbox →Example code
- 23:1123:11, 9 August 2025 diff hist +3 User:Junkshipp/Sandbox →Example code
- 23:0723:07, 9 August 2025 diff hist +389 User:Junkshipp/Sandbox No edit summary
- 22:3722:37, 9 August 2025 diff hist +470 User:Junkshipp/Sandbox →#in - Induction
- 22:0922:09, 9 August 2025 diff hist +281 User:Junkshipp/Sandbox →#in - Induction
7 August 2025
- 00:1100:11, 7 August 2025 diff hist −2 User:Junkshipp/Sandbox →Deduction
- 00:1100:11, 7 August 2025 diff hist 0 User:Junkshipp/Sandbox →Deduction
6 August 2025
- 23:5323:53, 6 August 2025 diff hist +13 User:Junkshipp/Sandbox →#in - Induction
- 23:4623:46, 6 August 2025 diff hist +5 User:Junkshipp/Sandbox →#id - More plugging in
- 23:4623:46, 6 August 2025 diff hist +4 User:Junkshipp/Sandbox →Deduction
- 23:4623:46, 6 August 2025 diff hist +856 User:Junkshipp/Sandbox No edit summary
- 22:3022:30, 6 August 2025 diff hist −40 User:Junkshipp/Sandbox →Deduction
- 22:2922:29, 6 August 2025 diff hist +23 User:Junkshipp/Sandbox →Commands
- 22:2822:28, 6 August 2025 diff hist +522 User:Junkshipp/Sandbox →#pl - Plugging in expressions
- 21:4221:42, 6 August 2025 diff hist −59 User:Junkshipp/Sandbox →#pl - Plugging in expressions
- 21:3221:32, 6 August 2025 diff hist +443 User:Junkshipp/Sandbox →Syntax
- 13:1713:17, 6 August 2025 diff hist 0 User:Junkshipp/Sandbox →#pl - Plugging in expressions
- 13:1613:16, 6 August 2025 diff hist +59 User:Junkshipp/Sandbox →#pl - Plugging in expressions
- 13:1513:15, 6 August 2025 diff hist +12 User:Junkshipp/Sandbox →#pl - Plugging in expressions
- 13:1513:15, 6 August 2025 diff hist +368 User:Junkshipp/Sandbox →#pl - Plugging in expressions
- 01:5801:58, 6 August 2025 diff hist −33 User:Junkshipp/Sandbox →#df - Definitions of functions
5 August 2025
- 20:2720:27, 5 August 2025 diff hist +21 User:Junkshipp/Sandbox →Defining functions
- 17:5017:50, 5 August 2025 diff hist +1 User:Junkshipp/Sandbox No edit summary
- 17:4917:49, 5 August 2025 diff hist +251 User:Junkshipp/Sandbox No edit summary
- 15:5415:54, 5 August 2025 diff hist +1 User:Junkshipp/Sandbox →Defining functions
- 13:1713:17, 5 August 2025 diff hist −17 User:Junkshipp/Sandbox →#tc - Transitivity and commutativity
- 13:1713:17, 5 August 2025 diff hist +81 User:Junkshipp/Sandbox →Deduction
- 12:1812:18, 5 August 2025 diff hist +73 User:Junkshipp/Sandbox →Defining functions
- 03:4103:41, 5 August 2025 diff hist +1 User:Junkshipp/Sandbox →Defining functions
- 03:4003:40, 5 August 2025 diff hist 0 User:Junkshipp/Sandbox →Defining functions
- 03:3903:39, 5 August 2025 diff hist +587 User:Junkshipp/Sandbox No edit summary
- 02:5202:52, 5 August 2025 diff hist −16 User:Junkshipp/Sandbox →Whitespace and comments
- 02:4802:48, 5 August 2025 diff hist −350 User:Junkshipp/Sandbox →Calling functions
3 August 2025
- 22:0022:00, 3 August 2025 diff hist +331 User:Junkshipp/Sandbox →Calling functions
- 15:0115:01, 3 August 2025 diff hist +746 User:Junkshipp/Sandbox →Syntax
- 04:4904:49, 3 August 2025 diff hist +494 User:Junkshipp/Sandbox No edit summary
2 August 2025
- 18:4218:42, 2 August 2025 diff hist −4 User:Junkshipp/Sandbox →Whitespace and comments
- 18:4118:41, 2 August 2025 diff hist −1 User:Junkshipp/Sandbox →Whitespace and comments
- 18:4118:41, 2 August 2025 diff hist −34 User:Junkshipp/Sandbox →Whitespace and comments
- 18:3818:38, 2 August 2025 diff hist +14 User:Junkshipp/Sandbox →Whitespace and comments
- 18:3818:38, 2 August 2025 diff hist +11 User:Junkshipp/Sandbox →Example code
- 18:1118:11, 2 August 2025 diff hist −2 User:Junkshipp/Sandbox →Example code
- 18:1118:11, 2 August 2025 diff hist +710 User:Junkshipp/Sandbox No edit summary
- 17:4917:49, 2 August 2025 diff hist +49 User:Junkshipp No edit summary current
1 August 2025
- 22:4222:42, 1 August 2025 diff hist +1,551 N User:Junkshipp/Sandbox Created page with "Duchathair each function is binary (2-ary), except + syntax no brackets, because arity is constant. like polish notation how to define a function example $ sum y sum x y defining a function like example allows you to use @example too. it’s a certain type of recursive thing. more on that later. you can only use previously defined functions. you cannot define a function twice. defined functions must be all lowercase. x and y are reserved and annoy be used deduc..."