Closed maxischm closed 5 years ago
Contains fixes for the issues that remained to be fixed and the adjusted scoping. Also includes re-implementation of rules because I merged Jannik's branch into mine to test my examples. Tests are all green.
Contains fixes for the issues that remained to be fixed and the adjusted scoping. Also includes re-implementation of rules because I merged Jannik's branch into mine to test my examples. Tests are all green.