Prelude-v21.1.0

Switch Light/Dark Mode

/Prelude-v21.1.0/Natural/sum

Copy path to clipboard

Source

  ./sum.dhall
    sha256:33f7f4c3aff62e5ecf4848f964363133452d420dcde045784518fb59fa970037
? ./sum.dhall