Just registered for the next Agda Implementors' Meeting. I hope I'm not recognised.
-
-
@edwinbrady@fmapE I think of it as sharing other people's ideas. -
@ulfnorell Indeed, ideas are no good if you keep them to yourself :)@fmape
End of conversation
New conversation -
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.