Kratacoa·8 か月前·議論And formalised mathematics are ignored in mathematical practice by most mathematicians, and even the ones that know of it often don't use that as a foundational language due to relative inconvenience.
Kratacoa·昨年·議論There are babashka and GraalVM as alternative backends for Clojure, who aim to be much lighter than JVM.
Kratacoa·3 年前·議論I just read your comment. Anyhow, it was Ukrainian, and we adopted Gregorian calendar.
Kratacoa·3 年前·議論Kakoune doesn't have exactly a plugin system, but a module one. There are however various plugin managers.Its customisation is obtained by exposing an interface to the shell with various parts of its functionality.