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)
commitc96460c21e54996496235f12effaf8fffbd6b9e8
treed5737ba029a03747817e00d1568fddd52a413671
parentd32c1e927cb459a72d8463644239bdd711515aed
add Coq typeclass index problem draft
ralf/_drafts/typeclasses-exponential-blowup.md [new file with mode: 0644]