@chjara@mk.absturztau.be Try Agda when you have some time, a typesystem so strong that it influenced how I program in other languages and I didn't even notice until I saw other people not understand my reasoning. <_<"