top | item 44967295 (no title) generationP | 6 months ago And soon it will be "but I don't want to learn Lean". discuss order hn newest No comments yet.
No comments yet.