Closed orcmid closed 1 year ago
The applicative interpretations around Lindies in obaptheory Obap2 (b-e) remains there. But the definition of Lindies in Obap2 needs to be moved. Lindies should come into obtheory.txt at Ob8 and everything else moves down.
The changes have been made with more explanation and also alignment of the obtheory.txt and obaptheory.txt versions
The applicative interpretations around Lindies in obaptheory Obap2 (b-e) remains there. But the definition of Lindies in Obap2 needs to be moved. Lindies should come into obtheory.txt at Ob8 and everything else moves down.