@edwinbrady I really wanted to make it out but the timing didn't work. Any slides or anything from the talk that'll be available?
-
-
-
@ClarissaAdjoint Nothing special, sorry, mostly I just used stuff from https://github.com/edwinb/idris-demos …
End of conversation
New conversation -
-
-
@edwinbrady Guess that just goes to show you they were serious here when they said Haskell is too mainstream.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
@eassumption@edwinbrady And what did you say? - 1 more reply
-
-
This Tweet is unavailable.
-
-
@edwinbrady Always hiring. ;)@galoisincThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@eassumption@edwinbrady given what passes for a standard library in Agda maybe that's not entirely inaccurate :PThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling@eassumption@edwinbrady My favorite is when people take giant cartoon tippy toe steps around it by pronouncing it like "coke"Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
This Tweet is unavailable.
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.