agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard
verified publisher icon agda

make it work with the agda stdlib v2.0 (c12568c64)

Open cmcmA20 opened this issue 3 years ago • 2 comments

^subj

cmcmA20 avatar Jun 30 '22 09:06 cmcmA20

A heads up that v2.0 is not released so I wouldn't recommend merging this in, unless you want your users to have to upgrade to the unstable library version.

MatthewDaggitt avatar Jun 30 '22 09:06 MatthewDaggitt

Let it chill until then, I will update it after release.

cmcmA20 avatar Jun 30 '22 09:06 cmcmA20