Theorems for free.

I have heard that Philip Wadlers article "Theorems for free" has been written in a "CT terms" version in addition to the one that can be found at Nec. If this is the case then I would very much like to have a pointer to where this file can be found. Thank you, Henrik Ljung

Re: hashmap withdrawal and poor haskell style

module Main where main = do content <- getContents let starstat = oneline content alphabet = ['a'..'z'] count ch = length . filter (==ch) oneline str ch = [ch] ++ " " ++ stars (count ch str) stars x = take x ['*','*'..] s