Revision as of 18:25, 14 September 2019 edit Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits m linking ← Previous edit		Revision as of 02:20, 12 October 2019 edit undo 2001:470:8cee:0:4d0b:19f9:d66c:ef0b (talk) →Foundations of Functional Logic Programming: fix Mono templates Next edit →
Line 48: double x = x+x The expression “{{Mono\|double 1}}” is replaced by {{Mono\|1+1}}. The latter can be replaced by {{Mono\|2}} if we interpret the operator “{{Mono\|+}}” to be defined by an infinite set of equations, e.g., {{Mono\|1=1+1 = 2}}, {{Mono\|1=1+2 = 3}}, etc. In a similar way, one can evaluate nested expressions (where the subexpressions to be replaced are quoted): 'double (1+2)' → '(1+2)'+(1+2) → 3+'(1+2)' → '3+3' → 6

Curry (programming language): Difference between revisions