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

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

Tries from representations of polynomial functors

Modules