Johan B.W. de Vries 23ca1799b2 Implements sum for Foldable types ...

Foldable take a TypeConstructor. The first argument must be a
NatNum.

2025-05-07 19:14:29 +02:00

..

integration

Implements sum for Foldable types

2025-05-07 19:14:29 +02:00

__init__.py

ideas [skip-ci]

2021-04-03 20:40:11 +02:00