User contributions
Jump to navigation
Jump to search
- 13:53, 14 January 2021 diff hist +116 Pi Calculus →Rho calculus
- 13:50, 14 January 2021 diff hist -47 m Pi Calculus →Arithmetic and common data structures
- 13:45, 14 January 2021 diff hist +285 Pi Calculus →Rho calculus
- 13:40, 14 January 2021 diff hist +286 Pi Calculus →Extensions
- 13:13, 14 January 2021 diff hist +170 Pi Calculus →Rho calculus
- 13:09, 14 January 2021 diff hist +659 Pi Calculus →Extensions
- 13:01, 14 January 2021 diff hist +77 Pi Calculus →Thread Join: The rholang cheatsheet https://rholang.github.io/tutorials/cheat-sheet/ appears to have this syntax, I assume it's borrowed from rho-calculus (correct me if I'm wrong)
- 12:35, 14 January 2021 diff hist +7 m Pi Calculus →External resources
- 12:35, 14 January 2021 diff hist +226 Pi Calculus →External resources
- 12:31, 14 January 2021 diff hist +118 Pi Calculus
- 12:16, 14 January 2021 diff hist +389 Pi Calculus →Introduction: Add pattern matching info
- 11:27, 14 January 2021 diff hist +178 Pi Calculus →Match / Mismatch
- 04:25, 20 December 2020 diff hist +39 m Pi Calculus →Equations
- 04:22, 20 December 2020 diff hist +77 Pi Calculus →Introduction: Add stuff from the paper
- 02:37, 20 December 2020 diff hist 0 m Pi Calculus →Add one function
- 02:32, 20 December 2020 diff hist -88 m Pi Calculus →External resources: Realized that it's not a good link anyway.
- 02:31, 20 December 2020 diff hist +36 m Pi Calculus
- 02:28, 20 December 2020 diff hist +396 Pi Calculus →Extensions
- 02:24, 20 December 2020 diff hist -24 m Pi Calculus →Extensions
- 02:22, 20 December 2020 diff hist +100 Pi Calculus →Extensions
- 02:15, 20 December 2020 diff hist +291 Pi Calculus →Equations
- 02:13, 20 December 2020 diff hist +374 Pi Calculus
- 02:03, 20 December 2020 diff hist +113 Pi Calculus →Examples
- 02:00, 20 December 2020 diff hist +88 Pi Calculus
- 01:57, 20 December 2020 diff hist +260 Pi Calculus Don't know where I heard of this extension, but added for completeness
- 01:59, 22 August 2020 diff hist +156 Bet
- 01:52, 22 August 2020 diff hist +54 m Bet
- 01:52, 22 August 2020 diff hist +29 Bet
- 01:51, 22 August 2020 diff hist 0 Bet
- 01:51, 22 August 2020 diff hist +78 Bet
- 01:50, 22 August 2020 diff hist +106 N Bet Created page with "Bet is a language that had ATaco's hopes up that a "Bet" language actually existed for a second there."
- 12:54, 13 August 2020 diff hist +168 Volatile Simplify the language current
- 12:47, 13 August 2020 diff hist +144 MAWP
- 12:41, 13 August 2020 diff hist +142 MAWP Turing Complete as well
- 12:47, 1 August 2020 diff hist -1 1+/Snippets →COME BACK LYXAL!!!
- 12:46, 1 August 2020 diff hist +212 1+/Snippets →Legendary
- 04:25, 24 July 2020 diff hist +22 Nop current
- 11:41, 21 July 2020 diff hist +52 DDuuaall →Primalty Tester
- 11:36, 21 July 2020 diff hist +1 DDuuaall →Instruction list
- 11:29, 21 July 2020 diff hist +34 DDuuaall
- 13:00, 14 July 2020 diff hist +103 Left-or-right current
- 12:56, 14 July 2020 diff hist +302 Left-or-right
- 12:55, 14 July 2020 diff hist +901 N Left-or-right Created page with "Left-or-right is a very simple language [https://codegolf.meta.stackexchange.com/users/20260/xnor xnor] made up. Its expression are made of arrows <code><</code> (left), <..."
- 07:46, 12 July 2020 diff hist +566 DDuuaall
- 07:40, 12 July 2020 diff hist +370 DDuuaall →Hello, World!
- 07:38, 12 July 2020 diff hist +346 DDuuaall
- 07:35, 12 July 2020 diff hist +564 N DDuuaall Created page with "DDuuaall is a language invented by User:A, inspired by [https://github.com/JonoCode9374/Vyxal Vyxal]'s zipmap. == I/O Specifications == There's implicit input, but you..."
- 06:43, 14 June 2020 diff hist -1 Inertia
- 06:42, 14 June 2020 diff hist +762 N Inertia Created page with "Intertia is 'another' language inspired by User:Hanzlu's usable language defintion. But this time, the language is actually quite usable. == Description == Note that t..."
- 04:39, 14 June 2020 diff hist +212 DIVCON →Example programs