nemo
nemo copied to clipboard
Rule Set Classification
This PR will add membership checks for various syntactic (and some semantic) classes of rule sets. The implementation is done by @xR0xEr.
(This will still take some time and I am mainly creating this Draft PR now to have a place for review and discussion.)
General comment: It would be good to think about the API and UI for running these checks. I have created an issue #611 for this purpose.