hydra-battles icon indicating copy to clipboard operation
hydra-battles copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Stdpp compat

Open Casteran opened this issue 3 years ago • 2 comments

Casteran avatar Dec 16 '21 10:12 Casteran

Attempt to progressively incorporate some Stdpp style (type classes). @palmskog If you agree, we may merge it into master

Casteran avatar Dec 16 '21 14:12 Casteran

Just to flag up that I haven't missed this PR, I plan to review and probably augment it a bit, but it may take 1-2 more days due to other work, sorry.

palmskog avatar Dec 17 '21 15:12 palmskog