Quotations of Gates Hall
Home
Submit a Quote
Browse
Random
Top Voted
About
Search by Quote or Context:
Quote
Voting:
-
2
+
I hear that the halting problem is kinda a big deal
— Matthew Milano
,
discussing how Agda isn't strongly normalizing
·
March 17, 2015