Quote


Voting: - 0 +
It's a paper proof ... but we believe it
— Joshua Turcotti, explaining how he knows the correctness of his type system · Sept. 14, 2022