From 2f1711b301fea88eb1d0b40d1c04b2f0539fd882 Mon Sep 17 00:00:00 2001 From: Phil de Joux Date: Sun, 24 Jul 2022 07:45:59 -0400 Subject: Follow hlint suggestion: redundant $. (#1505) * Follow hlint suggestion: redundant $. * Remove $ and surplus blank lines in Operators. --- hypsrc-test/ref/src/Operators.html | 56 ++++++++++++-------------------------- 1 file changed, 18 insertions(+), 38 deletions(-) (limited to 'hypsrc-test/ref/src/Operators.html') diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index 04006a0d..8519d9de 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -33,11 +33,6 @@ - - ((a, b) -> c -> (a, b)) -> (a, b) -> c -> (a, b) -forall a b. (a -> b) -> a -> b -$ (