[Haskell] Dependent Types in Haskell [was: Eliminating Array Bound Checking through Non-dependent] types

Martin Sulzmann sulzmann at comp.nus.edu.sg
Wed Aug 11 03:55:50 EDT 2004

There's a potentially confusing typo.

 > append Nil ys = Nil 

should be replaced by

append Nil ys = ys

Thanks to Ketil for pointing this out.


More information about the Haskell mailing list