I don't know if this is the approved way to write dependently typed Racket, but it works for me so far...pic.twitter.com/D5fjcGRhQG
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
this is cool as hell.
It's certainly lots of fun :)
Is racket your cogen backend?
Scheme in general, with minor variations for Chez, Chicken and (as of today) Racket. On my small experiments, the Chez backend beats Idris 1 and is competitive with equivalent Haskell...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.