Add instance Eq (SexpF a)

esmolanka / sexp-grammar

Invertible parsing for S-expressions

33 stars 4 forks source link

Closed Bodigrim closed 2 years ago

Bodigrim commented 2 years ago

It does not harm and provides compatibility with a CLC proposal to make forall a. Eq a => Eq (f a) a superclass of Eq1 f.