The Agda Universal Algebra Library (html docs available at the url below)
Creative Commons Attribution Share Alike 4.0 International
28
stars
7
forks
source link
(bugfix) Algebra type with two args is deprecated #237
Closed
williamdemeo closed 1 year ago
minor bug-fix... I'll merge this myself.