#mostly #erlang podcast on #idris with @khstandrews @edwinbrady @heinz_gies and me. http://mostlyerlang.com/2015/03/31/061-idris/ …
@seancribbs I gather it's only a matter of time :) @thompson_si @khstandrews @heinz_gies @lenary
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
@seancribbs I gather it's only a matter of time :) @thompson_si @khstandrews @heinz_gies @lenary