From 6f768ce1ffbe03391d48258dddb11d5ab3aede4d Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 13 Apr 2014 23:17:05 -0400 Subject: [PATCH] Add natural numbers up to N64. --- src/Naturals.hs | 66 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 65 insertions(+), 1 deletion(-) diff --git a/src/Naturals.hs b/src/Naturals.hs index 8bdcfe5..dbc8a37 100644 --- 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 -- 2.43.2