So we just concluded the developer meeting May '22... lots of great stuff has been achieved by amazing people!
I've seen great improvements regarding literate Idris source code, and we now have a cookbook to get started with common development tasks.
I made great progress on switching the LLVM backend to a CPS-based IR which is going to be a solid foundation for cool new features :)

Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!