Next Atypical Types 48

Type Inference Example 2

        sumof []    = 0
        sumof (h:t) = h + sumof t


Next Copyright © 1999,2008 Mark Dominus