search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
203 stars 51 forks source link

Don't use ExtLib 0.10.2 #150

Closed liyishuai closed 4 years ago

liyishuai commented 4 years ago

ExtLib 0.10.2 is suffering from coq-community/coq-ext-lib#66, and should be upgraded to 0.10.3 or later.