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