We're not mainstream. We could be in the business of attracting mainstream folk. How do we do that, when we're so weird, and when so many people tell us that we're worthless? Asks a dependently typed functional programmer.
-
-
Does it simulate concurrency for the entire internet? I thought not.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Have you stopped calling it Blodwen? That would make me sad.
-
My understanding is that proto-Idris-2 is built using Blodwen. Idris-2 is a language and, IMHO, Blodwen is something that lets you build proto-idris’ or proto-<insert favourite 60s/70s children’s tv character>.
- 4 more replies
New conversation -
-
-
Well, is it an Electron window?
-
Oh Pac-Man completeness? Or space invaders collorary?
End of conversation
New conversation -
-
-
Wow! Cool!
-
but can it run blockchain?
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.