Follow
programming
Thinking about how great the Idris programming language is.... I wish I had a project to work on with it!!
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...
re: programming
I'm not even a programmer anymore, I've got no excuses I can make to spend time with it 😭