Add decidable equality - Githubissues

Lysxia / coq-ceres

Coq library for serialization to S-expressions

MIT License

18 stars 1 forks source link

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

Close #13

liyishuai commented 4 years ago

Is it worth adding instances for Coq.Classes.DecidableClass.Decidable sexp?

Lysxia commented 4 years ago

Sure, that sounds useful.