Coq typeclass resolution is Turing-complete

Comments

from Hacker News https://ift.tt/JO43VyD
via

Comments

Popular posts from this blog