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
-
-
Anyway, I briefly investigated this, and the good news is that Blodwen's case splitting machinery doesn't think this is impossible. It's been so much easier since I knew what I was aiming at when I started :).
-
Great, thanks for the response, and looking at it. I understand that it's a research language and that you have limited time. I wish I was more help but I'm still trying to bootstrap myself in learning all this stuff after learning exactly NOTHING about any of it in my undergrad.
- 1 more reply
New conversation -
-
-
For someone interested in contributing to Blodwen, what would be a starting point?
-
The source code :) More usefully, it really depends what you want to contribute. I'm most interested in things which work towards self hosting, so porting bits of support libraries would be really helpful. I have a lexer and parser library so far, which is a decent start.
- 2 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.