/Prelude-v23.0.0/Natural/isZero
Copy path to clipboardSource
missing
sha256:1be98236800ed2d5cff44f16ca02b34b0c37dfa239d9e0d63d9d2c6eeae3d1d1
? ./isZero.dhall
Prelude-v23.0.0
Switch Light/Dark Mode missing
sha256:1be98236800ed2d5cff44f16ca02b34b0c37dfa239d9e0d63d9d2c6eeae3d1d1
? ./isZero.dhall