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
draft of paper for TYPES2021 post-proceedings #151
Closed
williamdemeo closed 2 years ago
closing and reopening this PR as a draft PR instead.