YHacker Newsscreenshots

thaliaarchi.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of thaliaarchi.github.io: Coq typeclass resolution is Turing-complete

Coq typeclass resolution is Turing-complete (thaliaarchi.github.io)

80 points by thaliaarchi 3 years ago | 23 comments