Trying to decide if I can get away with "Pi, the ultimate monad transformer" as a paper title. I'm thinking not.
@christopherdone More than fit in a tweet! But at the very least, type-directed editing (Agda/Epigram style) and something hoogle-like.
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
@christopherdone More than fit in a tweet! But at the very least, type-directed editing (Agda/Epigram style) and something hoogle-like.