Should type descriptors be equipped with pretty printers PPrint style? - Githubissues

braibant / articheck

14 stars 2 forks source link

Should type descriptors be equipped with pretty printers PPrint style? #12

Open braibant opened 10 years ago

braibant commented 10 years ago

This would make for more palatable display of couter-example detection...