search

DeepSpec / InteractionTrees

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

Rename Eq.Eq to Eq.Eqit #223

Closed Lysxia closed 2 years ago

Lysxia commented 2 years ago

To avoid clash with Eq.