search

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)
https://ualib.github.io/agda-algebras/
Creative Commons Attribution Share Alike 4.0 International
29 stars 7 forks source link

Transformers #94

Closed williamdemeo closed 3 years ago

williamdemeo commented 3 years ago

As commented on the foundations PR, this is mainly just to move curry/uncurry transformations out of Overture.Inverses and into a new module called Overture.Transformers.