search

Lysxia / coq-ceres

Coq library for serialization to S-expressions
MIT License
18 stars 1 forks source link

Pretty-printing #2

Open Lysxia opened 5 years ago

liyishuai commented 4 years ago

There is pretty_error for CeresParser.error, but not CeresDeserialize.error yet.

Lysxia commented 4 years ago

There is pretty_error for CeresParser.error, but not CeresDeserialize.error yet.

Feel free to add it!

This issue is more about formatting S-expressions though.