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)
commit384c25cb06b3c99d90bb4ef417082a75792dee05
tree1d635f8ffcae3dbfd6c3ca728adb7bd412e71a06
parent6e9cb706fd83fdfe656134c1f4baf9048d23ec00
add Coq typeclass index problem draft
personal/_drafts/typeclasses-exponential-blowup.md [new file with mode: 0644]