------------------------------------------------------------------------ -- Equational resoning for propositional equality ------------------------------------------------------------------------ module Tools.Reasoning.PropositionalEquality where import Relation.Binary.PropositionalEquality as Eq open Eq.≡-Reasoning public