agdarsec icon indicating copy to clipboard operation
agdarsec copied to clipboard

Published 20 hours ago • verified publisher icon gallais

Support for Agda 2.6.2 & stdlib 2.0 (c12568c64)

Open cmcmA20 opened this issue 2 years ago • 1 comments

^subj

cmcmA20 avatar Jun 30 '22 09:06 cmcmA20

I haven't looked at the rest but I don't think we should commit generated files like Everything.agda

gallais avatar Jun 30 '22 10:06 gallais

This was included as part of #32. Thank you and sorry it took so long!

gallais avatar May 12 '23 12:05 gallais