New top story on Hacker News: Coq typeclass resolution is Turing-complete Get link Facebook X Pinterest Email Other Apps April 17, 2023 Coq typeclass resolution is Turing-complete 16 by thaliaarchi | 3 comments on Hacker News. Get link Facebook X Pinterest Email Other Apps Comments
Comments
Post a Comment