The Agda Universal Algebra Library (html docs available at the url below)
Creative Commons Attribution Share Alike 4.0 International
29
stars
7
forks
source link
preliminary experiments with (abstract, explicit) polynomial functors #129
Closed
williamdemeo closed 3 years ago
as opposed to the (concrete, implicit) polyfunctors we've been using all along (implicitly) for our signature types