Deprecating `Relation.Binary.PropositionalEquality.isPropositional`#2205

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom jamesmckinna:propositional-irrelevance

Nov 21, 2023

+26-10

Commits on Nov 17, 2023