search

FissoreD / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
0 stars 0 forks source link

No constraint on evar with type class #10

Open FissoreD opened 1 month ago

FissoreD commented 1 month ago

The solver should be called with no constraint suspended on evar with type class.