Hit a type checking problem in Idris again: "Idris convinced that all cases are impossible, but also admits there are possible cases" https://github.com/idris-lang/Idris-dev/issues/4650 … Not sure if this is the same or different as what I hit before. :s
-
-
Which in practice means that we do enough to test our ideas, and hope that our ideas are interesting enough that people with enough resources will one day steal them!
-
Having said that, I still pay attention to the issue tracker if only to make sure they're resolved as far as possible in Blodwen. And when that gets far enough to be able to compile itself, then we can really start having fun...
- 3 more replies
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.