Rain 🚱 is a user on cybre.space. You can follow them or interact with them if you have an account anywhere in the fediverse.
#Idris is nice. I can barely get my types right and I keep messing up the syntax but it's fun to program in.
Let's hope I don't run into any of the ~15 critical bugs. 😅
