packages feed

dhall-1.3.0: Prelude/Natural/isZero

{-
Returns `True` if a number is `+0` and returns `False` otherwise

Examples:

```
./isZero +2 = False

./isZero +0 = True
```
-}
let isZero : Natural → Bool
    =   Natural/isZero

in  isZero