Hacker News Papers

New 2020 2019 2018

Xmonad from Coq: Programming a Window Manager with a Proof Assistant

staff.science.uu.nl • 104 points

Archives: 2017 2016

Hacker News Papers is an independent project and is not affiliated with Y Combinator.

Copyright © 2019-2020. Powered by Jekyll and running on SCAR.