This repository was archived by the owner on Feb 8, 2020. It is now read-only.
This repository was archived by the owner on Feb 8, 2020. It is now read-only.
Display proof parsing errors nicer #40
Description
- Errors should be rendered nicely
- Errors should be informative