Wait, so #Idris can "write" code for you? Is that correct or I'm just tripping? +@edwinbrady
@carlosgaldino If a type is precise enough, it can sometimes infer a value for you, in the interactive environment
-
-
@edwinbrady awesome! thanks.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.