Idris 2 is self-hosting, faster, compiles to Chez Scheme, and has a bunch of PL design lessons! https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html