@grainloom this is the first I'm hearing of Blodwen... is there any information about why it's not just an update to idris?
@lizardsquid there is this talk about it where he demonstrates its (then) current state: https://www.youtube.com/watch?v=mOtKD7ml0NU
@lizardsquid if you look at the bugs on the Idris-dev github that are tagged as critical, most of them end with a comment like "yup, this sucks but would be hard to fix in current Idris, gotta rewrite it to fix this"
@lizardsquid it's a rewrite of it, the TLDR is that there are a lot of fundamental problems with how Idris was first implemented and it was time for a rewrite
performance is also a problem in current Idris, even working with large Nats is reported to be super slow, sometimes impossibly so, so that's also something that needed a rewrite