Johan B.W. de Vries 5a149b7796 Implements sum for Foldable types ...

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

2025-05-05 16:40:55 +02:00

..

integration

Implements sum for Foldable types

2025-05-05 16:40:55 +02:00

__init__.py

ideas [skip-ci]

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