17 May 2023
- 20:4120:41, 17 May 2023 diff hist +14 Pipe-calculus →Alternative composition
- 20:3720:37, 17 May 2023 diff hist −114 Pipe-calculus →Zero-order calculus
14 May 2023
- 17:4117:41, 14 May 2023 diff hist +7 Pipe-calculus No edit summary
- 16:5116:51, 14 May 2023 diff hist +7 Pipe-calculus →Normal forms
- 11:5411:54, 14 May 2023 diff hist +452 Pipe-calculus →The pipe combinator
13 May 2023
- 17:1117:11, 13 May 2023 diff hist +282 Pipe-calculus →The pipe combinator
- 17:0017:00, 13 May 2023 diff hist −35 Pipe-calculus →Connection with process calculus
- 16:4316:43, 13 May 2023 diff hist +693 Pipe-calculus →The pipe combinator
- 15:4915:49, 13 May 2023 diff hist +196 Playground →Math current
- 15:2315:23, 13 May 2023 diff hist −6 Pipe-calculus →Zero-order calculus
- 15:2115:21, 13 May 2023 diff hist +1 Pipe-calculus →Zero-order calculus
- 12:2212:22, 13 May 2023 diff hist +572 Pipe-calculus →Normal forms
- 11:1211:12, 13 May 2023 diff hist −7 Pipe-calculus →Equational theory
12 May 2023
- 22:0522:05, 12 May 2023 diff hist +18 Pipe-calculus →Extensions
- 22:0422:04, 12 May 2023 diff hist +63 Pipe-calculus →Extensions
- 21:2421:24, 12 May 2023 diff hist +32 Pipe-calculus →The pipe combinator
- 20:5020:50, 12 May 2023 diff hist +15 Pipe-calculus →Extensions
- 20:4620:46, 12 May 2023 diff hist −27 Pipe-calculus →Normal forms
- 17:3817:38, 12 May 2023 diff hist 0 m Pipe-calculus →Extensions
- 17:3717:37, 12 May 2023 diff hist +105 Pipe-calculus →Notes
- 08:4908:49, 12 May 2023 diff hist +64 Pipe-calculus →Alternatives
- 08:4108:41, 12 May 2023 diff hist +9 m Pipe-calculus →Alternatives
- 08:3308:33, 12 May 2023 diff hist +26 Pipe-calculus →Normal forms
- 08:3208:32, 12 May 2023 diff hist +112 Pipe-calculus →Normal forms
- 08:2908:29, 12 May 2023 diff hist +270 Pipe-calculus →Alternatives
- 08:0908:09, 12 May 2023 diff hist +437 Pipe-calculus →Zero-order calculus
- 07:4407:44, 12 May 2023 diff hist −8 Pipe-calculus →An informal example
- 07:3807:38, 12 May 2023 diff hist −236 Pipe-calculus No edit summary
11 May 2023
- 21:3821:38, 11 May 2023 diff hist −6 m Pipe-calculus No edit summary
- 21:3521:35, 11 May 2023 diff hist +5 Pipe-calculus →Zero-order calculus
- 21:3421:34, 11 May 2023 diff hist 0 Pipe-calculus →Zero-order calculus
- 21:3021:30, 11 May 2023 diff hist +30 Pipe-calculus →Zero-order calculus
- 21:2521:25, 11 May 2023 diff hist −151 Pipe-calculus →Overview
- 21:1921:19, 11 May 2023 diff hist −1 Pipe-calculus →Variants and computational power
- 21:1621:16, 11 May 2023 diff hist −1 Pipe-calculus →Motivation
- 21:1621:16, 11 May 2023 diff hist −202 Pipe-calculus →Motivation
- 21:0821:08, 11 May 2023 diff hist +405 Pipe-calculus →Variants and computational power
- 20:2920:29, 11 May 2023 diff hist +228 Pipe-calculus No edit summary
- 19:5519:55, 11 May 2023 diff hist +485 Pipe-calculus No edit summary
- 18:5318:53, 11 May 2023 diff hist +56 Pipe-calculus →Zero-order calculus
10 May 2023
- 07:1107:11, 10 May 2023 diff hist −4 Syntax sugar (Pipe-calculus) →Let ... in Tags: Mobile edit Mobile web edit
9 May 2023
- 22:3822:38, 9 May 2023 diff hist −2 m Syntax sugar (Pipe-calculus) →Arrow Syntax
- 22:3422:34, 9 May 2023 diff hist −17 Syntax sugar (Pipe-calculus) →Let ... in
- 22:3322:33, 9 May 2023 diff hist 0 Syntax sugar (Pipe-calculus) →Let ... in
- 22:3022:30, 9 May 2023 diff hist +5 Syntax sugar (Pipe-calculus) No edit summary
- 22:2822:28, 9 May 2023 diff hist +29 Syntax sugar (Pipe-calculus) →Arrow Syntax
- 22:2722:27, 9 May 2023 diff hist +196 Syntax sugar (Pipe-calculus) →Arrow Syntax
- 22:1722:17, 9 May 2023 diff hist +12 Syntax sugar (Pipe-calculus) →Arrow Syntax
- 22:1122:11, 9 May 2023 diff hist −1 Syntax sugar (Pipe-calculus) →Let ... in
- 22:1022:10, 9 May 2023 diff hist +2,180 N Syntax sugar (Pipe-calculus) Created page with "Thoughtful application of syntax sugar makes programs easy to read, more compact and familiar to programmers. The syntax extensions described here are lightweight and well-defined. == Let ... in == <math> \def\seq{\mathrel{;}} \def\succeed{\textbf{succeed}} \def\alt{\mid} \def\fail{\textbf{fail}} \def\pipe{\rhd} \def\pass{\textbf{pass}} \def\in{\,?} \def\out{!} \def\rew{\mathrel{\Rightarrow}\,} </math> <math>\mathsf{let}</math> is a popular construct in functional lang..."