Kaustuv Chaudhuri

This feature could also obviate #133, perhaps.

This is an interesting idea. Thanks for the implementation. I'll give it a test run to see if it breaks any of our existing examples. Not particularly fond of the...

The `$` notation is just for debugging, so feel free to add this. However, I just realized that there is also the `Set types on` flag. If that is on,...

Sorry for the long delay with this. I think this is an interesting issue with polymorphism that I remember discussing with Andrew, Gopalan, Yuting the last time I was in...

Thanks for this. There are multiple bugs here -- a corner case of the `apply` tactic that seems dodgily implemented and a bad error message from the unification engine.

This is an issue with AC0-unification of object sequent contexts and requires a bit of thought. A quick fix is unlikely, but I will fix the error message that incorrectly...

Sounds good. Do you want this only for Query and search or for anything that uses implicit search (which includes tactics like apply, backchain, etc.)?

Can you run it from a directory without spaces for the time being? Our treatment of filenames is not very portable at the moment.

Jimmy, can you try out the master branch to see if the problem is fixed? I've done some light testing with a Windows 10 VM and it seems to work...

Wow. OK, I clearly need to test more thoroughly. Thanks.