#nescala great talk. I wonder why Dependent Types are on the lower-right of this chart? @edwinbrady, could you please weigh in? Thankspic.twitter.com/pwKxs81ysH
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
preface: I'm only on ch6 of your book. What's automation even mean? Thanks @paul_snively
Type checking is automated, done by the compiler. Proofs are not.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.