Commits

Aleksey Khudyakov committed 5d236bb

Add values

  • Participants
  • Parent commits c1a62ad

Comments (0)

Files changed (2)

TypeLevel/Number/Nat/Num.hs

 type N7 = $(natT 7)
 type N8 = $(natT 8)
 type N9 = $(natT 9)
+
+n0 :: N0; n0 = undefined
+n1 :: N1; n1 = undefined
+n2 :: N2; n2 = undefined
+n3 :: N3; n3 = undefined
+n4 :: N4; n4 = undefined
+n5 :: N5; n5 = undefined
+n6 :: N6; n6 = undefined
+n7 :: N7; n7 = undefined
+n8 :: N8; n8 = undefined
+n9 :: N9; n9 = undefined

TypeLevel/Number/Nat/Types.hs

 {-# LANGUAGE EmptyDataDecls #-}
 module TypeLevel.Number.Nat.Types ( I
-                              , O
-                              , Z
-                              ) where
+                                  , O
+                                  , Z
+                                  ) where
 
 -- | One bit.
 data I n