Thanks for sharing. Very interesting, especially since it’s based on Koka, which I’ve been experimenting with and still trying to wrap my head around. It also reminds me a lot of Shen (https://shenlanguage.org/). I’ll definitely try this out.
I second this recommendation. For those interested, this is “An interactive application for maths and graphics based on the Lua programming language and the GNU Scientific Library.” for both Windows and Linux. I installed it and keep a shortcut on my Windows desktop for quick calculations.
Maybe I’m missing something, but that webpage only seems to provide a PDF containing the beginning of the book (up through the Preface). Perhaps you need a ACM Digital Library Premium subscription to access the entire book?
It’s great that Libbrecht put a copy of his 500+ page ‘Snow Crystals’ book on arXiv [0] before an updated version was published by Princeton University Press [1].
How do you pronounce the name?