finished handling most of the remaining issues

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

28 stars 7 forks source link

finished handling most of the remaining issues #210

Closed williamdemeo closed 2 years ago

williamdemeo commented 2 years ago

just two remain, I think, marked by XXXXX in report-summary.md

williamdemeo commented 2 years ago

Great! 👍

On Fri, Apr 29, 2022, 16:36 Jacques Carette @.***> wrote:

Merged #210 https://github.com/ualib/agda-algebras/pull/210 into master.

— Reply to this email directly, view it on GitHub https://github.com/ualib/agda-algebras/pull/210#event-6526190319, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA25MJBXJOFEDV6ZC5TINFLVHRB5TANCNFSM5UUKUXSA . You are receiving this because you authored the thread.Message ID: @.***>