Eek. RT @jamesiry: @pigworker @psnively It takes a world class masochist to actually try to implement a dependently typed language.
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
Eek. RT @jamesiry: @pigworker @psnively It takes a world class masochist to actually try to implement a dependently typed language.