Monad: Remove dependency on id and flip

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

BSD 2-Clause "Simplified" License

129 stars 46 forks source link

Closed Lysxia closed 3 years ago

Lysxia commented 3 years ago

liyishuai commented 3 years ago

ITree has dropped 8.8; SSReflect dropped 8.10. Need to update OPAM archive: coq/opam-coq-archive#1647

Lysxia commented 3 years ago

ITree has dropped 8.8

~~I'm about to drop 8.9 too.~~ Update: finally, maybe not yet.