Dependently Typed Programming 2013 CFP: http://www.seas.upenn.edu/~sweirich/dtp13/ … It will make me sad if there are no Idris related submissions!
@AndrewBowden Though, actually, milk will be provided in the breaks at the conference.
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
@AndrewBowden Though, actually, milk will be provided in the breaks at the conference.