Talking with @edwinbrady & @paf31. Someone walks up: “Oh. You're PureScript. You're Idris”. Looks at me, gaze narrows… “Er, who are *you*?”
"Someone who does useful stuff" :)
0 replies
1 retweet
3 likes
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.