@@ -93,7 +93,7 @@ replace : {a:_} -> {x:_} -> {y:_} -> {P : a -> Type} -> x = y -> P x -> P y
93replace Refl prf = prf
93replace Refl prf = prf
95||| Symmetry of propositional equality
95||| Symmetry of propositional equality
96−sym : {l:a} -> {r:a} -> l = r -> r = l
96+sym : {left:a} -> {right:a} -> left = right -> right = left
97sym Refl = Refl
97sym Refl = Refl
99||| Transitivity of propositional equality
99||| Transitivity of propositional equality