From 090390792c0f7b731b3733b038662b02149204cc Mon Sep 17 00:00:00 2001 From: Tom Wilkinson Date: Wed, 19 Sep 2018 16:23:47 +0100 Subject: [PATCH] rename (/=) to (!=) (#81) --- Prelude/Bool/{(/=) => (!=)} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Prelude/Bool/{(/=) => (!=)} (100%) diff --git a/Prelude/Bool/(/=) b/Prelude/Bool/(!=) similarity index 100% rename from Prelude/Bool/(/=) rename to Prelude/Bool/(!=)