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

[Martin Sulzmann]

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.

Martin
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell