added Sub1000000000 and Sub1000000000000
This commit is contained in:
1 parent
8e63f9b32d
commit
c604bd3b77
1 file changed
+2
@@ -29,6 +29,8 @@ lincat Sub10 = LinDigit ;
|
||||
lincat Sub100 = {s : Str ; n : Number } ;
|
||||
lincat Sub1000 = {s : Str ; n : Number ; isHundred : Bool } ;
|
||||
lincat Sub1000000 = {s : Str ; n : Number } ;
|
||||
lincat Sub1000000000 = {s : Str ; n : Number } ;
|
||||
lincat Sub1000000000000 = {s : Str ; n : Number } ;
|
||||
|
||||
|
||||
----------------------------------------------------------------------------
|
||||
|
||||
Reference in new issue
Block a user