I've just made the Idris elaborator about 4 times faster. Not by doing anything clever, but by undoing lots of stupid. Yay!
@pigworker For example, I'd advise against traversing a large structure when you can tell it will end up exactly the same as it started...
-
-
@edwinbrady Been in all the substructures of there and done nothing.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@pigworker sounds like a job for a compiler optimization of the `fold id = id` varietyThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.