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
-
-
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.
-
For my part I do think I will try to focus on learning Agda for a while, because I need to be more fluent in it anyway to broaden my horizons/help when reading papers. And, I am very excited for Blodwen/Idris 2.0: and maybe one of these days I'll start contributing something.
End of conversation
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.