docs: measure what comes after checked arithmetic — §9-71 and the decision table - #337

docs: measure what comes after checked arithmetic — §9-71 and the decision table#337

xzawed merged 2 commits into

mainxzawed/Mathless:mainfrom

docs/next-slice-evidencexzawed/Mathless:docs/next-slice-evidenceCopy head branch name to clipboard