Serialize and Deserialize instances for sexp itself

Lysxia / coq-ceres

Coq library for serialization to S-expressions

MIT License

18 stars 1 forks source link

Closed liyishuai closed 4 years ago

liyishuai commented 4 years ago

Do we really need the generalized Serialize_sexp_ and Deserialize_sexp_?

Lysxia commented 4 years ago

You can remove them for now. Also, prefer lambdas over compose.

liyishuai commented 4 years ago

Do I need to change const to lambda also?

Lysxia commented 4 years ago

Yes, I would prefer that.

liyishuai commented 4 years ago

Done.

Lysxia commented 4 years ago

Thanks!