|
|
|
|
|
|
by nequo
1261 days ago
|
|
|
To me, "Golang" is a good compromise to make material about it searchable. For example, Lean is notoriously hard to find stuff about. Try entering "lean" into HN's search engine: https://hn.algolia.com/?q=lean I wish there was a convention to call it "Leanlang" or "leanprover" or something. |
|
|