Add hsenv directory to gitignore
Remove a no longer necessary `impossible`
Merge pull request #1704 from eamsden/master

Add hsenv directory to gitignore
Make tests work with sandboxes
Fix a few typos in the README

[skip ci]
Fix GC statistics overflow
Improve delaboration and pretty-printing for case

Now, the delaborator finds case expressions and converts them back to
the original. This makes :printdef work with these.
Follow instructions in comment and remove unused code
Fix Curses whitespace issue with test delab001
Merge pull request #1758 from david-christiansen/feature/case-delab

Improve delaboration and pretty-printing for "case"
Merge pull request #1756 from jonatack/patch-1

Fix a few typos in the README
Reduce redundant 'specifically' clauses in errors
Improve parser errors in dependent type signatures
Update expected error messages for tests
Improvement for 'auto'

Now proof search can be deferred if there are too many metavariables in
the goal - previously in this case it would happily pick any old
solution causing weird errors elsewhere in some cases.
Need to resolve autos in each 'try' branch

If the branch solves an implicit which makes the auto solvable, we need
to try to resolve it straight away so we know whether the branch is
valid or not. We need this especially when using 'try' to implement
implicit coercions.
Define Show instance for Vect via toList.
Merge pull request #1712 from Melvar/remove-impossible

Remove a no longer necessary `impossible`
Merge pull request #1755 from mattias-lundell/master

Make tests work with sandboxes and fix GC statistics overflow
Merge pull request #1761 from bmsherman/dontDupErrors

Reduce redundant 'specifically' clauses in errors