Sweet! "Cross-platform Compilers for Functional Languages" by @edwinbrady from https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf … #idris
@keithtpinson a rejected draft no less, so read with care :). I'll polish it up a bit some day.
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
@keithtpinson a rejected draft no less, so read with care :). I'll polish it up a bit some day.