So we just concluded the #Idris 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 :)
I created a tiny and fast documentation browser for Idris2: https://idris2docs.sinyax.net/
A tiny #SAT solver using #Idris 2 and Linear Types: https://git.sr.ht/~cypheon/idris-minisat
Software developer with a passion for free software, functional programing, and formal verification.
he/him