I haven't been shouting about it much yet :). It's a new implementation of Idris in Idris. Meaning that it has much more imaginative bugs this time, because I have to work harder to make them.
-
-
- 4 more replies
New conversation -
-
-
What part of working on Blodwen make you miss type driven editing?
-
Not having it for Blodwen programs yet...
- 2 more replies
New conversation -
-
-
https://github.com/edwinb/Blodwen - intriguing - is there a summary of design changes / rationale vs Idris?
-
I at least have the best intentions of documenting them. The main thing is taking linearity seriously from the start. Also trying to make it fast enough...
End of conversation
New conversation -
-
-
ooh when will it be self-hosting?
-
Probably no big rush for that, because I want to do more interesting things with it first. But still not long, I hope, because then I can stop feeling guilty about not maintaining Idris 1 very well.
End of conversation
New conversation -
-
-
I would soon be compiling Blodwen with Idris JVM backend so one day we could run Idris compiler on the JVM.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Anything an enthusiastic amateur can help with?
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.