Awesome! (Again, I _LIKE_ Monads, I think they encapsulate a lot of our security problems meaningfully.)https://twitter.com/dpwiz/status/965145947494866949 …
Go check out effects some day: http://docs.idris-lang.org/en/latest/effects/ …
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
Go check out effects some day: http://docs.idris-lang.org/en/latest/effects/ …