I learned today, via a friend at Facebook, that there are people there who do some Idris as a bit of a hobby. This is great! Thanks! But...https://twitter.com/edwinbrady/status/1094001130546360320 …
-
-
All I can say other than being a bit surprised, is... don't worry, I'm almost certainly more boring than you are, and you're helping me have fun so I already like you :)
Show this thread -
Furthermore, as a massive introvert, if I'm hanging around after a meeting it means I'm very happy to talk and I'm probably more scared to talk to you then you are to me. That is all :).
Show this thread -
I'm almost certainly going to wish I hadn't said this soon enough, but really, all I've done is hack on some interesting ideas that (mostly) other people have invented. Come and say hello :).
Show this thread
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.