search

johnmcfarlane / papers

9 stars 1 forks source link

Write `safe_integer` paper #6

Open johnmcfarlane opened 6 years ago

johnmcfarlane commented 6 years ago

From SG6:

Do a paper with only elastic_integer and overflow_integer. Forward declare all other types but in paper, work on the first two, then in subsequent revisions add ~1 type per revision but don't discuss before it is ready.