zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@jonmsterling Someone should just resolve the Barendregt–Geuvers–Klop conjecture so we can put the subfield in the bin.
1
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...