The top documents tagged [haskell quiz proof of]