I'm delighted to get people talking... RT @ozgurakgun: here is an interesting discussion about ligatures http://www.reddit.com/r/haskell/comments/pp6i3/type_checking_by_theorem_proving_in_idris_brady …
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
I'm delighted to get people talking... RT @ozgurakgun: here is an interesting discussion about ligatures http://www.reddit.com/r/haskell/comments/pp6i3/type_checking_by_theorem_proving_in_idris_brady …