Next Atypical Typing 43

Haskell types are always correct

        fact :: (Num a) => a -> a

continued...


Next Copyright © 1999,2008 Mark Dominus