cypheon @cypheon@mastodon.technology

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/

#Idris #Idris2

A tiny #SAT solver using #Idris 2 and Linear Types: https://git.sr.ht/~cypheon/idris-minisat