https://gist.github.com/lenary/c97b963dc5003ce7403f … Woop Woop. There are some incantations in there I don't understand, but they can stay.
-
-
@edwinbrady https://github.com/lenary/Idris-dev/pull/1 … there's a reason it compiles...Thanks. 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.