we use tag 0 so let's not use a NonZero type
[web.git] / ralf / _posts / 2017-08-11-types-as-contracts-evaluation.md
2018-07-25 Ralf Jungblog: Assume we will never have a non-empty baseurl
2018-06-03 Ralf Jungmore consistent update notes
2017-08-12 Ralf Jungfix ref
2017-08-12 Ralf Jungmore forum links
2017-08-12 Ralf Jungfix formatting
2017-08-12 Ralf Jungclarify
2017-08-12 Ralf Jungshow how to fix the Arc problem
2017-08-12 Ralf Jungspacing
2017-08-11 Ralf Jungforum link
2017-08-11 Ralf Jungnew post on evaluating types-as-contracts