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

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

Tries from representations of polynomial functors

Modules