00:14:16 -!- iamgroooooot has joined. 00:31:00 -!- iamgroooooot has quit (Quit: Client closed). 00:31:29 -!- sprock has joined. 00:37:58 [[Sovietscript]] N https://esolangs.org/w/index.php?oldid=183522 * VP3NEG * (+769) Created page with "Sovietscript is a ternary variation of [[Binary lambda calculus]] designed to be as Marxist-Leninist as possible. The variables are de Brujin indexed so there are no names so x.x is no different from y.y, they are both 1. 0xy This means apply y to function x. 00:39:23 -!- ais523 has quit (Quit: quit). 01:15:55 -!- iamgroooooot has joined. 01:16:06 hey can u guys help me make an if function 01:20:24 -!- sprock has quit (Ping timeout: 246 seconds). 01:29:23 [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=183523&oldid=183415 * ACBLOX * (+102) added my introduction 01:31:37 -!- amby has quit (Remote host closed the connection). 01:34:44 iamgro: you'll have to be more specific than that 01:37:10 alr 1 sec 01:59:09 -!- iamgroooooot has quit (Quit: Client closed). 02:07:10 -!- Lykaina has joined. 02:36:07 [[Special:Log/upload]] upload * Miui * uploaded "[[File:C2.gif]]" 02:43:43 [[See Two]] https://esolangs.org/w/index.php?diff=183525&oldid=183511 * Miui * (+154) /* spec */ 03:03:36 [[See Two]] M https://esolangs.org/w/index.php?diff=183526&oldid=183525 * Miui * (+16) 03:27:38 [[See Two]] https://esolangs.org/w/index.php?diff=183527&oldid=183526 * Miui * (+260) 03:28:36 -!- Guest77 has joined. 03:28:53 -!- Guest77 has quit (Client Quit). 03:36:55 [[Lambda-calculus program repository]] N https://esolangs.org/w/index.php?oldid=183528 * VP3NEG * (+2947) Created page with "This is NOT an [[Esoteric programming language]], it is a program repository for [[Lambda calculus]] designed for beginners I highly recommend you read the page on [[Lambda calculus]] linked here. Booleans: In -calculus, everything is a funct 03:38:40 [[Lambda-calculus program repository]] https://esolangs.org/w/index.php?diff=183529&oldid=183528 * VP3NEG * (+4) 03:39:06 [[Lambda-calculus program repository]] https://esolangs.org/w/index.php?diff=183530&oldid=183529 * VP3NEG * (+2) 03:39:42 [[Lambda-calculus program repository]] https://esolangs.org/w/index.php?diff=183531&oldid=183530 * VP3NEG * (+9) 03:41:39 [[Lambda-calculus program repository]] https://esolangs.org/w/index.php?diff=183532&oldid=183531 * VP3NEG * (+57) 03:46:44 [[TR]] https://esolangs.org/w/index.php?diff=183533&oldid=181407 * Exitcode1 * (-95) 03:53:55 [[Push-up automaton]] https://esolangs.org/w/index.php?diff=183534&oldid=168674 * VP3NEG * (+4) 03:58:04 [[Text]] https://esolangs.org/w/index.php?diff=183535&oldid=179629 * VP3NEG * (+4) 04:02:02 -!- recursive_error has joined. 04:11:01 [[TxeT]] https://esolangs.org/w/index.php?diff=183536&oldid=174852 * VP3NEG * (+23) 04:38:00 [[See Two]] M https://esolangs.org/w/index.php?diff=183537&oldid=183527 * Miui * (+13) 04:38:50 -!- sprock has joined. 04:48:52 [[See Two]] https://esolangs.org/w/index.php?diff=183538&oldid=183537 * Miui * (+463) /* spec */ 04:55:30 -!- sprock has quit (Ping timeout: 252 seconds). 05:20:29 [[See Two]] https://esolangs.org/w/index.php?diff=183539&oldid=183538 * Miui * (+463) /* spec */ 05:24:24 [[See Two]] https://esolangs.org/w/index.php?diff=183540&oldid=183539 * Miui * (+295) /* spec */ 05:31:05 [[See Two]] https://esolangs.org/w/index.php?diff=183541&oldid=183540 * Miui * (+132) /* spec */ itflabtijtslwi 05:33:26 [[See Two]] https://esolangs.org/w/index.php?diff=183542&oldid=183541 * Miui * (+106) /* spec */ 05:36:39 [[See Two]] https://esolangs.org/w/index.php?diff=183543&oldid=183542 * Miui * (+214) /* spec */ 05:40:16 [[See Two]] https://esolangs.org/w/index.php?diff=183544&oldid=183543 * Miui * (+1) /* spec */ 05:42:33 -!- sprock has joined. 06:11:13 -!- moony has quit (Quit: leaving). 06:11:47 -!- Bowserinator has quit (Quit: Blame iczero something happened). 06:11:47 -!- iovoid has quit (Quit: iovoid has quit!). 06:18:31 [[See Two]] https://esolangs.org/w/index.php?diff=183545&oldid=183544 * Miui * (+943) /* spec */ 06:18:49 [[See Two]] https://esolangs.org/w/index.php?diff=183546&oldid=183545 * Miui * (+4) /* interpretation */ 06:20:13 [[See Two]] https://esolangs.org/w/index.php?diff=183547&oldid=183546 * Miui * (-123) /* See also */ 06:20:45 [[See Two]] https://esolangs.org/w/index.php?diff=183548&oldid=183547 * Miui * (+4) /* See also */ 06:24:04 -!- moony has joined. 06:25:46 -!- iovoid has joined. 06:27:31 [[Talk:Lambda-calculus program repository]] N https://esolangs.org/w/index.php?oldid=183549 * Blashyrkh * (+830) Created page with "==TODO== * Other boolean encodings (see an example at [[Crazy J/Truth-machine]] and [[Crazy J/QUINE]]) * Other number encodings (Scott and others) with more efficient predecessor function * Comparison of Church numerals (mentioned at htt 06:28:17 [[Talk:Lambda-calculus program repository]] M https://esolangs.org/w/index.php?diff=183550&oldid=183549 * Blashyrkh * (+0) /* TODO */ 06:28:27 -!- sprock has quit (Ping timeout: 252 seconds). 06:31:30 -!- Sgeo has quit (Read error: Connection reset by peer). 06:36:38 [[Talk:Lambda-calculus program repository]] https://esolangs.org/w/index.php?diff=183551&oldid=183550 * Blashyrkh * (+68) /* TODO */ Link to Tromp's paper about SK numerals 06:39:27 -!- Bowserinator has joined. 06:41:24 [[Talk:Lambda-calculus program repository]] https://esolangs.org/w/index.php?diff=183552&oldid=183551 * Blashyrkh * (+109) /* TODO */ Link to an example of using Church numeral as a loop counter 07:18:46 [[See Two]] https://esolangs.org/w/index.php?diff=183553&oldid=183548 * Miui * (+83) /* interpretation */ 07:25:42 [[See Two]] https://esolangs.org/w/index.php?diff=183554&oldid=183553 * Miui * (+189) /* -K-conversion */ 07:26:14 [[See Two]] M https://esolangs.org/w/index.php?diff=183555&oldid=183554 * Miui * (+0) /* -K-conversion */ 07:33:29 [[See Two]] https://esolangs.org/w/index.php?diff=183556&oldid=183555 * Miui * (+151) /* -K-conversion */ 07:41:20 [[See Two]] https://esolangs.org/w/index.php?diff=183557&oldid=183556 * Miui * (+69) 07:47:53 [[See Two]] https://esolangs.org/w/index.php?diff=183558&oldid=183557 * Miui * (+71) /* -K-conversion */ 07:48:26 [[See Two]] M https://esolangs.org/w/index.php?diff=183559&oldid=183558 * Miui * (+3) /* -K-conversion */ rrr 07:48:55 [[See Two]] M https://esolangs.org/w/index.php?diff=183560&oldid=183559 * Miui * (+0) /* -K-conversion */ or 08:09:41 [[Talk:Interactive Thon Language]] N https://esolangs.org/w/index.php?oldid=183561 * Win7HE * (+109) Created page with "found this from [[Curly Fish]] --~~~~" 08:17:30 [[User:Win7HE]] https://esolangs.org/w/index.php?diff=183562&oldid=169099 * Win7HE * (-30) 08:23:32 [[User:Win7HE/tetri]] N https://esolangs.org/w/index.php?oldid=183563 * Win7HE * (+67) Created page with "{{#expr: {{#if:{{{a|}}}|{{{a}}}|0}} + {{#if:{{{b|}}}|{{{b}}}|0}} }}" 08:39:52 -!- recursive_error has quit (Remote host closed the connection). 08:54:50 Heya 09:13:59 [[User:Win7HE/tetri/b]] N https://esolangs.org/w/index.php?oldid=183564 * Win7HE * (+48) Created page with "{{#if:{{#request:search}}|{{#request:search}}|}}" 09:15:05 [[User:Win7HE/tetri/b]] https://esolangs.org/w/index.php?diff=183565&oldid=183564 * Win7HE * (+2) 09:15:15 [[User:Win7HE/tetri/a]] N https://esolangs.org/w/index.php?oldid=183566 * Win7HE * (+60) Created page with "{{User:Win7HE/tetri|a=1|b=5}} {{User:Win7HE/tetri/b|action}}" 09:16:46 [[User:Win7HE/tetri/b]] https://esolangs.org/w/index.php?diff=183567&oldid=183565 * Win7HE * (-50) Blanked the page 09:24:14 [[User:Win7HE/tetri/a]] https://esolangs.org/w/index.php?diff=183568&oldid=183566 * Win7HE * (-31) 09:25:02 [[Special:Log/move]] move * Win7HE * moved [[User:Win7HE/tetri]] to [[User:Win7HE/addnum]] 09:25:02 [[Special:Log/move]] move * Win7HE * moved [[User:Win7HE/tetri/a]] to [[User:Win7HE/addnum/a]] 09:25:02 [[Special:Log/move]] move * Win7HE * moved [[User:Win7HE/tetri/b]] to [[User:Win7HE/addnum/b]] 09:25:20 [[Special:Log/move]] move * Win7HE * moved [[User:Win7HE/addnum/a]] to [[User:Win7HE/thing]] 09:26:35 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183577&oldid=183575 * Win7HE * (+24) 09:27:19 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183578&oldid=183577 * Win7HE * (-2) 09:27:38 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183579&oldid=183578 * Win7HE * (+1) 09:28:43 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183580&oldid=183579 * Win7HE * (-5) 09:28:55 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183581&oldid=183580 * Win7HE * (+3) 09:29:35 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183582&oldid=183581 * Win7HE * (+10) 09:30:59 [[User:Win7HE/modulo]] N https://esolangs.org/w/index.php?oldid=183583 * Win7HE * (+154) Created page with "{{#expr: ({{#if:{{{a|}}}|{{{a}}}|0}}/{{#if:{{{b|}}}|{{{b}}}|0}}-floor({{#if:{{{a|}}}|{{{a}}}|0}}/{{#if:{{{b|}}}|{{{b}}}|0}}))*{{#if:{{{b|}}}|{{{b}}}|0}}}}" 09:31:37 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183584&oldid=183582 * Win7HE * (+1) 09:33:56 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183585&oldid=183584 * Win7HE * (+0) 09:34:02 [[User:Win7HE/thing]] https://esolangs.org/w/index.php?diff=183586&oldid=183585 * Win7HE * (+2) 09:51:02 -!- DOS_User_webchat has joined. 09:52:46 -!- DOS_User_webchat has quit (Client Quit). 10:29:16 -!- amby has joined. 11:28:40 -!- Lord_of_Life has quit (Ping timeout: 276 seconds). 11:52:36 -!- Lord_of_Life has joined. 11:58:06 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 11:58:26 [[HLAAPL]] https://esolangs.org/w/index.php?diff=183587&oldid=183514 * Brain Boy 53 * (+1596) 12:00:08 -!- Lord_of_Life has joined. 12:14:09 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine). 12:16:23 -!- Lord_of_Life has joined. 12:43:18 [[HLAAPL]] https://esolangs.org/w/index.php?diff=183588&oldid=183587 * Brain Boy 53 * (+2532) 13:10:19 -!- somefan has quit (Ping timeout: 268 seconds). 13:14:34 -!- somefan has joined. 13:31:34 [[User:Win7HE/modulo]] https://esolangs.org/w/index.php?diff=183589&oldid=183583 * Aadenboy * (-120) anything after the pipe in an argument is used as the default when not passed, so the if statements are unnecessary. #expr also already has a `mod` operator 13:46:31 -!- Melvar has quit (Ping timeout: 264 seconds). 13:59:28 -!- Melvar has joined. 13:59:54 [[User:Win7HE/addnum]] https://esolangs.org/w/index.php?diff=183590&oldid=183569 * Aadenboy * (-34) 14:04:59 I'm laughing because the vim manual says “:nunmap can also be used outside of a monastery.” 14:13:17 [[Combinatory logic]] https://esolangs.org/w/index.php?diff=183591&oldid=183239 * Bobby Jacobs * (+0) [[To Mock a Mockingbird]] was published in 1985. 14:26:10 [[Special:Log/upload]] upload * Miui * uploaded "[[File:Humpback anglerfish.png]]" 14:30:53 [[Melanocetus!johnsonii]] N https://esolangs.org/w/index.php?oldid=183593 * Miui * (+2246) Created page with ":''Due to technical limitations the title of this page is incorrect. The actual name is "'''Melanocetus%21johnsonii'''" [[File:Humpback anglerfish.png|frame|right|Melanocetus!johnsonii]] '''Melanocetus%21johnsonii''' is a some kind of abyssal deadfish derivat 14:33:30 [[Melanocetus!johnsonii]] M https://esolangs.org/w/index.php?diff=183594&oldid=183593 * Miui * (-5) /* Commands */ - - - 14:35:53 [[Melanocetus!johnsonii]] M https://esolangs.org/w/index.php?diff=183595&oldid=183594 * Miui * (-30) /* Conversion */ distinguish 14:36:57 [[Melanocetus!johnsonii]] M https://esolangs.org/w/index.php?diff=183596&oldid=183595 * Miui * (+2) correct logo caption 14:49:19 [[Melanocetus!johnsonii]] https://esolangs.org/w/index.php?diff=183597&oldid=183596 * Miui * (+112) /* Commands */ 14:55:39 [[Melanocetus!johnsonii]] https://esolangs.org/w/index.php?diff=183598&oldid=183597 * Miui * (+129) /* Conversion */ 14:59:31 [[Melanocetus!johnsonii]] M https://esolangs.org/w/index.php?diff=183599&oldid=183598 * Miui * (-1) /* Conversion */ 15:04:01 [[Brainfuck]] https://esolangs.org/w/index.php?diff=183600&oldid=183326 * Win7HE * (+2) /* Notable implementations */ 15:15:36 -!- ais523 has joined. 15:15:46 `olist 1345 15:15:51 olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot 15:18:40 -!- emery has quit (Read error: Connection reset by peer). 15:22:29 [[User:Miui]] https://esolangs.org/w/index.php?diff=183601&oldid=183513 * Miui * (+73) /* esolangs */ 15:23:13 -!- emery has joined. 15:23:21 [[Language list]] https://esolangs.org/w/index.php?diff=183602&oldid=183515 * Miui * (+52) /* M */ Melanocetus%21johnsonii 15:28:10 [[Melanocetus!johnsonii]] https://esolangs.org/w/index.php?diff=183603&oldid=183599 * Miui * (+48) /* examples */ 15:31:06 [[Melanocetus!johnsonii]] https://esolangs.org/w/index.php?diff=183604&oldid=183603 * Miui * (+11) /* M through Z */ clarify how big big numbers are 15:35:26 [[Melanocetus!johnsonii]] https://esolangs.org/w/index.php?diff=183605&oldid=183604 * Miui * (-7) 16:01:59 -!- impomatic has joined. 16:33:07 -!- impomatic has quit (Quit: Client closed). 16:41:21 -!- DOS_User_webchat has joined. 16:43:35 -!- DOS_User_webchat has quit (Client Quit). 17:31:14 -!- impomatic has joined. 18:02:36 -!- ais523 has quit (Quit: quit). 19:07:02 cu 19:29:48 -!- Sgeo has joined. 20:28:13 `? exampole 20:28:22 exampole? ¯\(°​_o)/¯ 21:00:27 -!- ais523 has joined. 21:17:19 -!- Lord_of_Life has quit (Excess Flood). 21:43:02 -!- Lord_of_Life has joined. 21:53:10 -!- amby has quit (Read error: No route to host). 22:40:44 -!- emery has quit (Ping timeout: 268 seconds). 22:41:23 -!- emery has joined. 22:54:04 -!- impomatic has quit (Quit: Client closed). 22:58:35 -!- recursive_error has joined. 23:56:09 [[Melanocetus!johnsonii]] https://esolangs.org/w/index.php?diff=183606&oldid=183605 * Miui * (+203) /* examples */