I’m not sure if you are checking this random post, but I talked myself into doing some writing on the language (in a presentable format as opposed to my usual .

I’m not sure if you are checking this random post, but I talked myself into doing some writing on the language (in a presentable format as opposed to my usual .txt file scribbles). Since you are the only person who actively asked for details/info what kind of things would you want to read about? I could write a large amount about my particular beliefs about software, type theory, category theory, and language design, but I would end of writing unconnected ideas all over the place. So, I am trying to focus on presenting the language and using it as an example of the implementation of those topics and a jumping off point for further descriptions of ideas. I think I’m down to two primary options for presenting some general info as a starting point: a) doing a `front page` type thing laid out like the why-Koka page for the Koka language [1]. (essentially a brief section about each foundational theoretical aspect) Then having links put in for more theoretical/formal information as I write it up. b) just doing narrative style ‘blog’ post writings about whatever concepts people may want to hear about. I’m leaning towards option A, but without quite such a strong emphasis on how to use the language and more focus on what the language is. But if you think it would be more informative to just read randomly connected blogs let me know. I’ve never done this before so I don’t have a clue what other people find interesting. 1 - https://koka-lang.github.io/koka/doc/book.html#why https://koka-lang.github.io/koka/doc/book.html#why