Solver for Linear Equalities
Advantages
more elegant
works during type reconstruction too
Disadvantages
increases Twelf core code complexity
interaction with other components?
This solver does adhere much to the CS specification given before
Previous slide
Next slide
Back to first slide
View graphic version