this is the spiciest dependently typed language I've ever seenpic.twitter.com/TuNXzNJzLe
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
Heck yeah! Blodwen is definitely cooler at least.
That's really exciting! Thank you for all the insights you've shared with the community already. I enjoy how your book and papers demonstrate how whole classes of bugs in practical programming problems can be eliminated using dependent types. I still love playing with Idris too.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.