F fldit-www.cs.uni-dortmund.de The Haskell Road to Logic, Math and Programming (2004) [pdf] 52 points sasvari 13 years ago 16 comments
