Giving a talk in a Portland pub, with open door. Passer by sees slides, "Oh! That's Haskell!" Me: "No, it's Idris." I like this city.
@ClarissaAdjoint Nothing special, sorry, mostly I just used stuff from https://github.com/edwinb/idris-demos …
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@ClarissaAdjoint Nothing special, sorry, mostly I just used stuff from https://github.com/edwinb/idris-demos …