GitHub repository: AlecsFerra/PolynomialFunctors
Primary language: Agda
Created: 2023-05-20T13:18:08Z
Description: Data-types as fixpoints of polynomial functors