@edwinbrady You have a Kind of types, surely?
-
-
-
@simoninireland it's all the same to us in world of dependent types... - 2 more replies
New conversation -
-
-
@edwinbrady Defeatist, Edwin. Defeatist.#TeamClanThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
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.