I don't really mind Roc-lang not being mentioned since Koka is referenced with its novel idea of functional-but-in-place and Perceus Reference Counting which ar

I don't really mind Roc-lang not being mentioned since Koka is referenced with its novel idea of functional-but-in-place and Perceus Reference Counting which are the theoretical basis of Roc's implementation[0]. So it doesn't really bring anything theoretically unique to the table in comparison, although I'm interested in Roc as a practical language because of this too. [0] Ctrl-f "Perceus" on the following page and you will see a paper about Koka mentioned. https://www.roc-lang.org/ https://www.roc-lang.org/