make showPretty pretty - Githubissues

DiffMu / DiffPrivacyInferenceHs

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Closed ooovi closed 2 years ago

ooovi commented 2 years ago

make showPretty return Text not String
move all constraint definitions to the same file and implement showPretty there
get rid of manual show implementations