Prelude-v23.1.0

Switch Light/Dark Mode

/Prelude-v23.1.0/Natural/listMax

Copy path to clipboard

Source

  missing
    sha256:20906ffcc9970f740106d4516cb7868b43d75ff8c9f00ff8a9680ae68c48a472
? ./listMax.dhall