programming 

Thinking about how great the Idris programming language is.... I wish I had a project to work on with it!!

re: programming 

I'm not even a programmer anymore, I've got no excuses I can make to spend time with it 😭

Follow

re: programming 

I've been wracking my brain for ideas, but I keep just either coming up with stuff that isn't suitable for idris, or would take so long that I wouldn't enjoy them.

I'm feeling the allure of type systems, like an anglerfish in the depths, but I think I am wise enough to know to keep away...

· · 0 · 0 · 2
Sign in to participate in the conversation
Computer Fairies

Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!