Closed williamdemeo closed 3 years ago
Wow, thanks for the praise and encouragement, Jacques. I really appreciate it!
On Thu, Aug 26, 2021 at 3:56 PM Jacques Carette @.***> wrote:
@.**** commented on this pull request. Wow - serious 'hero' work here. So often people don't bother to make their code clean, and yet it makes a tremendous difference. Bravo. — You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/ualib/agda-algebras/pull/111#pullrequestreview-739510058, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA25MJBRXEXO5VQK6N4XKETT6ZBXFANCNFSM5CY4HAIA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email .
@.**** commented on this pull request.
Wow - serious 'hero' work here. So often people don't bother to make their code clean, and yet it makes a tremendous difference. Bravo.
— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/ualib/agda-algebras/pull/111#pullrequestreview-739510058, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA25MJBRXEXO5VQK6N4XKETT6ZBXFANCNFSM5CY4HAIA . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email .
Wow, thanks for the praise and encouragement, Jacques. I really appreciate it!
On Thu, Aug 26, 2021 at 3:56 PM Jacques Carette @.***> wrote: