A proof that Coq typeclass resolution is Turing-complete
Primary LanguageCoqGNU General Public License v3.0GPL-3.0