representable-tries-3.0.2: Tries from representations of polynomial functors

representable-tries-3.0.2: Tries from representations of polynomial functors

Tries from representations of polynomial functors

Modules