User avatar
Jon Sterling @jonmsterling@mathstodon.xyz
1mo
“If we fix this soundness bug, we repudiate several papers that I published in the last ten years.” That's a little less fun than deleting bad code, but it's better to get ahead of it.
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@jonmsterling is it agda?
0
0
0
0