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.
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. 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.
in a 1000 years we'll be making this observation across the galactic internet.