mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-09-11 08:45:32 +03:00
improved String.is_nat
This commit is contained in:
parent
e86c66e50e
commit
6d8efbcf03
@ -5,4 +5,5 @@ String.is_nat(str: String): Bool
|
||||
true: String.is_nat(str.tail)
|
||||
false: false
|
||||
}
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user