summaryrefslogtreecommitdiff
path: root/paper/While/Common.icl
diff options
context:
space:
mode:
Diffstat (limited to 'paper/While/Common.icl')
-rw-r--r--paper/While/Common.icl3
1 files changed, 0 insertions, 3 deletions
diff --git a/paper/While/Common.icl b/paper/While/Common.icl
index 2c28933..4f6e4c4 100644
--- a/paper/While/Common.icl
+++ b/paper/While/Common.icl
@@ -28,9 +28,6 @@ where
($) infixr 0 :: (a -> b) a -> b
($) f x = f x
-(on) infix 0 :: (b -> c) (a a -> b) -> (a a -> c)
-(on) f g = \x y -> f (g x y)
-
(*>) infixl 4 :: (f a) (f b) -> f b | Applicative f
(*>) fa fb = const id <$> fa <*> fb