/Prelude-v23.0.0/Natural/sum
Copy path to clipboardSource
missing
sha256:33f7f4c3aff62e5ecf4848f964363133452d420dcde045784518fb59fa970037
? ./sum.dhall
Prelude-v23.0.0
Switch Light/Dark Mode missing
sha256:33f7f4c3aff62e5ecf4848f964363133452d420dcde045784518fb59fa970037
? ./sum.dhall