coq-ceres icon indicating copy to clipboard operation
coq-ceres copied to clipboard

Published 20 hours ago • verified publisher icon Lysxia

Pretty-printing

Open Lysxia opened this issue 6 years ago • 2 comments
trafficstars

Lysxia avatar Jun 22 '19 23:06 Lysxia

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

liyishuai avatar Nov 19 '19 21:11 liyishuai

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.

Lysxia avatar Nov 20 '19 16:11 Lysxia