This may be a dumb question, but this is about Blodwen (which will become Idris v2 if my understanding is correct) and not a different rewrite of Idris. Am I right or completely offbase?
-
-
-
Somewhere in between. Blodwen is a prototype, the language it implements is Idris 2, but there are some things which could be much faster/better engineered, so that's what I'm tinkering with before it's too late.
- 1 more reply
New conversation -
-
-
Did you get an email from me last week?
-
Oops, yes, sorry, will reply shortly!
- 1 more reply
New conversation -
-
-
Is the .yaff extension for yet another file format?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Oh wow, almost proper logging format for messages.... I’m impressed.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Challenging rustc for user friendliness
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Fantastic. Does this mean blodwen's error messages will rise to the quality of awk's?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.