Sign in or Join FriendFeed
FriendFeed is the easiest way to share online. Learn more »
Haskell
Haskell
Edward Z. Yang: An Interactive Tutorial of the Sequent Calculus - http://blog.ezyang.com/2012...
May 22, 2012 from Planet Haskell - Comment - Share