Hoorah, DSL notation is back: https://github.com/edwinb/Idris-dev/blob/master/samples/interp.idr … Just in time for me to talk about it at PADL ;)
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
Hoorah, DSL notation is back: https://github.com/edwinb/Idris-dev/blob/master/samples/interp.idr … Just in time for me to talk about it at PADL ;)