/Prelude-v23.0.0/Integer/nonPositive

Copy path to clipboard

Source

  missing
    sha256:e00a852eed5b84ff60487097d8aadce53c9e5301f53ff4954044bd68949fac3b
? ./nonPositive.dhall