Next
Atypical Types
48
Type Inference Example 2
sumof [] = 0 sumof (h:t) = h + sumof t
Next
Copyright © 1999,2008 Mark Dominus