search

DeepSpec / InteractionTrees

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

Add Hint Mode on MonadIter #262

Closed Lysxia closed 4 months ago

Lysxia commented 4 months ago

Fixes a typeclass resolution loop reported in https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Debugging.20a.20hanging.20Definition