Revision book to page 82. deprecate a few symbols

coq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

MIT License

63 stars 12 forks source link

Closed Casteran closed 2 years ago

Casteran commented 2 years ago

I fixed warnings about deprecated Div2 and Max

palmskog commented 2 years ago

@Casteran this looks good to go, do you want me to merge and make a release (version 0.9?)

Casteran commented 2 years ago

@Casteran this looks good to go, do you want me to merge and make a release (version 0.9?)

OK, thank you very much !