/Prelude-v22.0.0/Natural/lessThanEqual

Copy path to clipboard

Source

  ./lessThanEqual.dhall
    sha256:1a5caa2b80a42b9f58fff58e47ac0d9a9946d0b2d36c54034b8ddfe3cb0f3c99
? ./lessThanEqual.dhall