So I hoped to get that erlang/idris stuff done today. Nope. Will finish it off tomorrow, it threw up some weird type errors… :/
@robstewartUK @Lenary it's too complicated, mostly. Trying to shoehorn it into the effects library was probably a mistake.
-
-
@robstewartUK@Lenary been tinkering with a better way but I need to get to a power socket to continue!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.