Excellent, my @strangeloop_stl workshop proposal "Idris: Practical Software Verification with Dependent Types" was accepted.
@scottfleischman I don't like the P word but it can be hard to avoid in titles… @strangeloop_stl
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
@scottfleischman I don't like the P word but it can be hard to avoid in titles… @strangeloop_stl