I've just discovered Bodhi Linux, and following the forum rules, I'll not praise it, since it's merits are self evidents ... I'm an Italian retired programmer, and not having to use other horrible os (guess what...) I've switched to Linux. I own several machines, some old , some new, and some odd (convertible) and I must say that on this ones Bodhi Linux is one of the few versions able to run. What else can I say ? I hope Bodhi will continue to evolve, grow (that is, following the minimalist philosophy, actually shrink), and be mantained for a long time in the future. Best regards and best whishes. Maurizio.
I found an old Ocaml program referred to by an article on formalizing Euclidean geometry in such a way that diagrams are part of the formal language. I really wanted to look at the program and the source code was available. Unfortunately, it would not compile anymore I managed to fix it but found it rather difficult to do. Bear in mind I knew nothing more about Ocaml than the basic idea of what it was. Ever since then I have had a desire to try to learn the language. Interesting language