181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
Idris2 0.6.0 🎉https://github.com/idris-lang/Idris2/releases/tag/v0.6.0