zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@jonmsterling Lean is clearly ahead of the curve; they don't even want human-written contributions from outside the core maintainer group.
13
2
6
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...