Looks interesting. Once I saw it's a Czech university course using F#, I knew Tomáš Petříček would be the lecturer :) A couple years back, I wrote a compiler

Looks interesting. Once I saw it's a Czech university course using F#, I knew Tomáš Petříček would be the lecturer :) A couple years back, I wrote a compiler of tiny-ish Scala subset in F# (the code is imperative, though)[1] [1]: https://github.com/mykolav/coollang-2020-fs https://github.com/mykolav/coollang-2020-fs