Just registered for the next Agda Implementors' Meeting. I hope I'm not recognised.
-
-
.
@fmape Ulf came to one of our meetings once. He said "I've come to steal ideas". So that's what I'm intending to do too :)1 reply 0 retweets 4 likes -
Replying to @edwinbrady
@edwinbrady@fmapE I think of it as sharing other people's ideas.1 reply 0 retweets 4 likes
Replying to @ulfnorell
@ulfnorell Indeed, ideas are no good if you keep them to yourself :) @fmape
8:53 AM - 30 Mar 2016
0 replies
0 retweets
1 like
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.