Revision as of 01:04, 23 May 2015 (view source) Chicco (talk \| contribs) (Commutativity of addition in OCaml) ← Older edit		Revision as of 21:58, 7 November 2015 (view source) Petelomax (talk \| contribs) mNo edit summary Newer edit →
Line 8: {{omit from\|Java}} {{omit from\|MUMPS\|Not a typed language}} {{omit from\|Phix}} {{omit from\|Python}} {{omit from\|M4}}

Proof (view source)