Need to work on marketing. My 4yo has picked her favorite dependently typed language, and it's not Agda. #idrispic.twitter.com/zVHlRnaolk
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
@ulfnorell Though looking again at the sticker count, I assume her favourite dependently typed language is Haskell…
@edwinbrady @ulfnorell if you create "owl" or "flower" though, you will quickly gain in popularity
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.