Compatibility with Coq 8.10

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

Also closes #150

Lysxia commented 4 years ago

tchajed commented 4 years ago

Thanks @Lysxia! Can you also add Coq 8.10 to CI?

tchajed commented 4 years ago

Oh never mind, just saw you already did that, I just didn't see it on Travis because the latest build was on a different branch.