Just added scala style implicit conversions to Idris, and my Eff DSL is a lot prettier. But I am scared of this new feature.
@paulcc_two Yes, no chaining though, just one at a time. I'm keeping it very limited @raichoo
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
@paulcc_two Yes, no chaining though, just one at a time. I'm keeping it very limited @raichoo