coq-turing-typeclass. A proof that Coq typeclass resolution is Turing-complete

github.com/thaliaarchi/coq-turing-typeclass
by @thaliaarchi

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.