Kratacoa·hace 8 meses·discussAnd 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·el año pasado·discussThere are babashka and GraalVM as alternative backends for Clojure, who aim to be much lighter than JVM.
Kratacoa·hace 2 años·discussAll that stuff lands on LG/AA thanks to those who have subscriptions, i.e. libraries
Kratacoa·hace 3 años·discussI just read your comment. Anyhow, it was Ukrainian, and we adopted Gregorian calendar.
Kratacoa·hace 3 años·discussKakoune 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.