> As far as I can tell no one uses this language [Koka] for anything, however it is downloadable and quite usable to explore these ideas. I believe the typeset

> As far as I can tell no one uses this language [Koka] for anything, however it is downloadable and quite usable to explore these ideas. I believe the typesetting tool Madoko[1] is implemented in Koka, though in fairness Daan Leijen developed both Koka and Madoko. [1] https://github.com/koka-lang/madoko https://github.com/koka-lang/madoko