more editing and a new link
[web.git] / personal / _drafts / typeclasses-exponential-blowup.md
2019-05-15 Ralf Jungmore editing and a new link
2019-05-14 Ralf Jungediting
2019-05-14 Ralf Jungblog post on the typeclass index issue
2018-08-07 Ralf Jungeven more https
2018-07-25 Ralf Jungadd Coq typeclass index problem draft