The Idris codebase is quite beautiful. Given some understanding of how it works underneath, I find that there’s a succinct clarity in everything. https://githu

The Idris codebase is quite beautiful. Given some understanding of how it works underneath, I find that there’s a succinct clarity in everything. https://github.com/idris-lang/Idris2 https://github.com/idris-lang/Idris2