Search results
From WG 2.11
Jump to navigationJump to search
- ...taking a step of evaluation in the record calculus followed by exhaustive admin reductions, and finally translating the resulting record expression back to ...2 KB (245 words) - 12:06, 12 December 2011