T thaliaarchi.github.io Coq typeclass resolution is Turing-complete 90 points thaliaarchi 3 years ago 24 comments
