add Coq typeclass index problem draft
authorRalf Jung <post@ralfj.de>
Wed, 25 Jul 2018 13:21:40 +0000 (15:21 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 25 Jul 2018 13:21:40 +0000 (15:21 +0200)
commit5f79366c662bdd8c66d8ad1e207eba7dfca81d37
treec1192cabfd532b3605ac7c98190137c9de98ae17
parentfe1578dd475dac3c3ea3362d6ec04d0796b0f9d5
add Coq typeclass index problem draft
personal/_drafts/typeclasses-exponential-blowup.md [new file with mode: 0644]