! @edwinbrady tells us that Idris can give pretty message for "!" + 5, but I got “Can't resolve type class Num String” in 0.9.18.1 :( #SSGEP
@ulysses4ever It's coming in the next version. I'm using the git version for the talks.
-
-
@edwinbrady oook, thank youThanks. 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.