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
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...
Also if you run it on Gambit you get a really good Scheme-to-C compiler, not to mention Gambit's universal back-end.
Heh. If I we're too write a compiler, the nanopass idea is so alluring. Chez is good stuff.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.