Just added scala style implicit conversions to Idris, and my Eff DSL is a lot prettier. But I am scared of this new feature.
@cartazio It's hard to know what the proof obligations would be though. My plan is to use this feature exactly once :).
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
@cartazio It's hard to know what the proof obligations would be though. My plan is to use this feature exactly once :).