agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

Add a property relating `maybe` to composition

Open WhatisRT opened this issue 1 year ago • 1 comments
trafficstars

This is part of upstreaming properties that seem generally useful.

WhatisRT avatar Jun 21 '24 13:06 WhatisRT

And as for CHANGELOG... suggest this wait until this has been reset for the v2.2 milestone after the planned v2.1 release...

jamesmckinna avatar Jun 23 '24 09:06 jamesmckinna

@WhatisRT any progress on the suggested changes? This should be easy to merge once you've done that...

jamesmckinna avatar Aug 26 '24 17:08 jamesmckinna

Done

WhatisRT avatar Aug 30 '24 10:08 WhatisRT

Looks great! otherwise sorry for the last nitpick re CHANGELOG... :-( @JacquesCarette are you happy to (re-)review/approve now?

jamesmckinna avatar Aug 30 '24 13:08 jamesmckinna