src/Tools/Code/code_haskell.ML
Thu, 13 Apr 2017 10:10:12 +0200 haftmann for generated Haskell code, never use let-binds with pattern matching: irrefutable patterns destroy partial correctness
less more (0) -100 -30 -10 -1 tip