Add a tagging mechanism to the testsuite
It would be very nice to be able to tag test cases with things like infer - impredicativity - higher-rank etc and be able to search and select between them.
Edited by Artin Ghasivand
It would be very nice to be able to tag test cases with things like infer - impredicativity - higher-rank etc and be able to search and select between them.