Portability | portable |
---|---|
Stability | stable |
Maintainer | claude@mathr.co.uk |
Safe Haskell | None |
Boilerplate definitions generated by:
flip mapM_ [16..53] $ \p -> let s = show p in putStrLn $ "type N" ++ s ++ " = SuccessorTo N" ++ show (p - 1) ++ " ; n" ++ s ++ " :: N" ++ s ++ " ; n" ++ s ++ " = undefined"
Documentation
type N16 = SuccessorTo N15Source
type N17 = SuccessorTo N16Source
type N18 = SuccessorTo N17Source
type N19 = SuccessorTo N18Source
type N20 = SuccessorTo N19Source
type N21 = SuccessorTo N20Source
type N22 = SuccessorTo N21Source
type N23 = SuccessorTo N22Source
type N24 = SuccessorTo N23Source
type N25 = SuccessorTo N24Source
type N26 = SuccessorTo N25Source
type N27 = SuccessorTo N26Source
type N28 = SuccessorTo N27Source
type N29 = SuccessorTo N28Source
type N30 = SuccessorTo N29Source
type N31 = SuccessorTo N30Source
type N32 = SuccessorTo N31Source
type N33 = SuccessorTo N32Source
type N34 = SuccessorTo N33Source
type N35 = SuccessorTo N34Source
type N36 = SuccessorTo N35Source
type N37 = SuccessorTo N36Source
type N38 = SuccessorTo N37Source
type N39 = SuccessorTo N38Source
type N40 = SuccessorTo N39Source
type N41 = SuccessorTo N40Source
type N42 = SuccessorTo N41Source
type N43 = SuccessorTo N42Source
type N44 = SuccessorTo N43Source
type N45 = SuccessorTo N44Source
type N46 = SuccessorTo N45Source
type N47 = SuccessorTo N46Source
type N48 = SuccessorTo N47Source
type N49 = SuccessorTo N48Source
type N50 = SuccessorTo N49Source
type N51 = SuccessorTo N50Source
type N52 = SuccessorTo N51Source
type N53 = SuccessorTo N52Source