[Haskell] Dependent Types in Haskell [was: Eliminating Array Bound
Checking through Non-dependent] types
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