EDUTECHNICAL
Wednesday, November 7, 2018
New top story on Hacker News: A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]
A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]
164 by pmoriarty |
9 comments
on Hacker News.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
Florida School Restricts Access to Amanda Gorman’s Inauguration Poem
By BY AMANDA HOLPUCH from NYT U.S. https://ift.tt/fIlhCeE
New top story on Hacker News: Wuhan lab staff sought hospital care before Covid-19 outbreak disclosed
Wuhan lab staff sought hospital care before Covid-19 outbreak disclosed 39 by pseudolus | 10 comments on Hacker News.
New top story on Hacker News: Soup-salad-sandwich space
Soup-salad-sandwich space 4 by fanf2 | 0 comments on Hacker News.
New top story on Hacker News: Jim Gilliam, the founder of NationBuilder, has died
Jim Gilliam, the founder of NationBuilder, has died 19 by valgaze | 2 comments on Hacker News.
No comments:
Post a Comment