Revision as of 02:24, 22 June 2022 (view source) Rdm (talk \| contribs) m (→‎{{header\|J}}) ← Older edit		Revision as of 02:27, 22 June 2022 (view source) Rdm (talk \| contribs) m (→‎{{header\|J}}) Newer edit →
Line 889: 'R';'';y;a: : if. 0=#y do. ~~'R';y;x;<y~~insert x elseif. 0=L.y do. x insert ~~'R';'';~~insert y~~;a:~~ else. 'C e K w'=. y

Algebraic data types: Difference between revisions

Algebraic data types (view source)