@bodil Well I'm convinced. Next release of Idris will be dynamically typed.
@marchamann @bodil Depending what you mean by that, it might already work (e.g. we can compute types, update types of state, etc.)
-
-
@edwinbrady@marchamann@bodil Doesn't Ruby already have dependent types? The type always depends on what you pass in ;-)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.