5 ms·
I hope that this project will succeed. Incidentally, Verso is also the name of Lean 4’s DSL for typesetting documentation.[1] We are running out of words in th
by nequo 2y ago
I hope that this project will succeed.
Incidentally, Verso is also the name of Lean 4’s DSL for typesetting documentation.[1] We are running out of words in the English language.
[1] https://github.com/leanprover/verso https://github.com/leanprover/verso
- mroche 2y agoThere are two simple solutions to this: 1. Translate the word to another language. 2. Get creative and make up an original name. Mixed translations, word-bashing, not-actual-words, there's a lot of options! Okay, so the latter isn't super easy but can be a lot of fun to do! In this case, it seems like a play on the core dependency name than choosing the actual word of "verso": servo -> verso.
- 627467 2y ago> we are running out of words in a 1000 years we'll be making this observation across the galactic internet.
- Emma_Goldman 2y agoIt's also the name of the most successful left-wing press in the English-speaking world: https://www.versobooks.com https://www.versobooks.com
- Avshalom 2y agoVerso is a latin word.
- nequo 2y agoIt’s also English. It means the left side page of a book. https://en.wiktionary.org/wiki/verso#English https://en.wiktionary.org/wiki/verso#English
- franzkappa 2y agoStill latin…