Page history
24 May 2023
→Terms
−47
→Sequence
+320
→Sequence
+567
→Normal forms
−90
→Equational theory
−95
→Syntax
−35
→The pipe combinator
−51
→Terms
−14
→Variants and computational power
+406
23 May 2023
22 May 2023
→Syntax
−85
→Terms
+28
→An example
−6
→The pipe combinator
−1
→The pipe combinator
+593
→Terms
−189
→Zero-order calculus
+131
→The pipe combinator
−27
→The pipe combinator
+349
→Connection with process calculus
+201
→Extensions
−201
→Variants and computational power
−460
→An example
−25
17 May 2023
→Connection with process calculus
−10
→Connection with process calculus
+218
→Equational theory
−34
→Syntax
−17
→The pipe combinator
−279
→Choice
+18
→Exclusive choice
−33
→Alternative composition
+14
→Zero-order calculus
−114
14 May 2023
13 May 2023
→The pipe combinator
+282
→Connection with process calculus
−35
→The pipe combinator
+693
→Zero-order calculus
−6
→Zero-order calculus
+1
→Normal forms
+572
→Equational theory
−7