I'm messing about with a possible new core for Idris. I've got this far. It's surprising what you need to do to get this far...https://gist.github.com/edwinb/617c016e2380d46c12b6d0fda0891245 …
-
-
I'm honored! BTW, I think now that dependency-ordered meta blocks are probably a lot better than mutual ones. With mutual metas, the nested pairs benchmark is still exponential, b/c of occurs checking. Ordered metas can shortcut lots of scope checks.
-
I need to actually test this though at some point.
- 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.