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
-
-
Ok, I've got Blodwen building. I have some chicken issues (can't install `numbers`) but other than that things seem to be working. Which sort of support libraries are high on the priority list for porting?
-
You can probably ignore the chicken issues. Right now I don't have any urgent priorities because I'm trying some new (hopefully faster!) ways of implementing the core, but still I'd love readline support and networking libraries...
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.