Johan B.W. de Vries 8a027a0b10 Implements sum for Foldable types ...

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

2025-05-05 14:09:38 +02:00

..

__init__.py

More ideas about easy code generation

2022-08-06 13:44:11 +02:00

alloc.py

Test generation framework with typing improvements

2023-11-15 12:52:23 +01:00

types.py

Implements sum for Foldable types

2025-05-05 14:09:38 +02:00