Johan B.W. de Vries 1bcd7cba30 Implements sum for Foldable types ...

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

2025-05-10 19:51:24 +02:00

..

integration

Implements sum for Foldable types

2025-05-10 19:51:24 +02:00

__init__.py

ideas [skip-ci]

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