thaliaarchi / coq-turing-typeclass

A proof that Coq typeclass resolution is Turing-complete

https://thaliaarchi.github.io/coq-turing-typeclass/

Geek Repo

Github PK Tool