src/Tools/Code/code_haskell.ML
Tue, 24 Nov 2009 17:28:25 +0100 haftmann curried take/drop
Tue, 03 Nov 2009 17:06:35 +0100 haftmann always be qualified -- suspected smartness in fact never worked as expected
Wed, 14 Oct 2009 12:03:16 +0200 haftmann tuned whitespace
less more (0) -3 tip