New top story on Hacker News: Programming Language Theory in Agda 70 https://ift.tt/2HQqtPp
Subscribe to:
Post Comments (Atom)
Breaking
Featured Post
Popular Posts
-
"Nearly 700 get Ebola vaccine in Congo; more cases possible" Congo's health ministry says more than 680 people have received ...
-
"Toddler who lost arms, legs to meningitis heads home" A toddler struck by "the worst case of meningitis doctors had seen in...
No comments:
Post a Comment