we use tag 0 so let's not use a NonZero type
[web.git] / ralf / _posts / 2019-05-15-typeclasses-exponential-blowup.md
2019-05-16 Ralf Jungtypo
2019-05-16 Ralf Jungexpand prior work
2019-05-15 Ralf Jungtypos
2019-05-15 Ralf Jungadd forum link
2019-05-15 Ralf Jungpublish typeclass post