Amazon

New top story on Hacker News: Coq typeclass resolution is Turing-complete

Coq typeclass resolution is Turing-complete
16 by thaliaarchi | 3 comments on Hacker News.


Comments

Post a Comment

Popular posts from this blog

Israel orders Gazans out of swathes of Khan Younis - Reuters

Image
* Israel orders Gazans out of swathes of Khan Younis  Reuters * News Wrap: Israel declares major city in southern Gaza a ‘dangerous combat zone’  PBS NewsHour * New strikes hit Gaza as Israel-Hamas fighting resumes. Live updates  CNN * Israel announces ground offensive into southern Gaza has begun  NBC News * Israel presses southern Gaza after collapse of Hamas cease-fire  Fox News * View Full Coverage on Google News http://dlvr.it/Szgyv1
Read more

Mexico's president says country will break diplomatic ties with Ecuador - NPR

Image
* Mexico's president says country will break diplomatic ties with Ecuador  NPR * Mexico Breaks Diplomatic Ties With Ecuador After Arrest at Embassy  The New York Times * Mexico’s president says his country is breaking diplomatic ties with Ecuador after embassy raid  NBC News * Mexico Breaks Ties With Ecuador After Embassy in Quito Stormed  Bloomberg * Amid diplomatic spat, Mexico grants former Ecuadorian vice president asylum  Al Jazeera English http://dlvr.it/T58RHJ
Read more