Fix compatibility with ExtLib

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Closed liyishuai closed 4 years ago

Lysxia commented 4 years ago

LGTM but CI should pass before merging.

Lysxia commented 4 years ago

I keep forgetting about the PMonad removal, which is a pretty major change.

I'll first stick to 0.10.3 for the next release, and we'll upgrade to 0.11.1 soon after by merging this PR.

Lysxia commented 4 years ago

Let's merge this once tests pass.