Next Atypical Typing 44

Haskell types are always correct

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

continued...


Next Copyright © 1999,2008 Mark Dominus