Add natural numbers up to N64.

diff --git a/src/Naturals.hs b/src/Naturals.hs
index 8bdcfe59281f526d9b237fbd5593c7cc86728e89..dbc8a37fbc82e8998e251043459a5c6b2715d787 100644 (file)
--- a/src/Naturals.hs
+++ b/src/Naturals.hs
@@ -27,7 +27,39 @@ module Naturals (
   N29,
   N30,
   N31,
-  N32 )
+  N32,
+  N33,
+  N34,
+  N35,
+  N36,
+  N37,
+  N38,
+  N39,
+  N40,
+  N41,
+  N42,
+  N43,
+  N44,
+  N45,
+  N46,
+  N47,
+  N48,
+  N49,
+  N50,
+  N51,
+  N52,
+  N53,
+  N54,
+  N55,
+  N56,
+  N57,
+  N58,
+  N59,
+  N60,
+  N61,
+  N62,
+  N63,
+  N64 )
 where
 
 import Data.Vector.Fixed ( N1, N2, N3, N4, N5, N6, S, Z )
@@ -58,3 +90,35 @@ type N29 = S N28
 type N30 = S N29
 type N31 = S N30
 type N32 = S N31
+type N33 = S N32
+type N34 = S N33
+type N35 = S N34
+type N36 = S N35
+type N37 = S N36
+type N38 = S N37
+type N39 = S N38
+type N40 = S N39
+type N41 = S N40
+type N42 = S N41
+type N43 = S N42
+type N44 = S N43
+type N45 = S N44
+type N46 = S N45
+type N47 = S N46
+type N48 = S N47
+type N49 = S N48
+type N50 = S N49
+type N51 = S N50
+type N52 = S N51
+type N53 = S N52
+type N54 = S N53
+type N55 = S N54
+type N56 = S N55
+type N57 = S N56
+type N58 = S N57
+type N59 = S N58
+type N60 = S N59
+type N61 = S N60
+type N62 = S N61
+type N63 = S N62
+type N64 = S N63