From 3bae104c3218ca0ee0f724464083d303fb745453 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jun 2016 12:29:24 +0200
Subject: Rewrite eval for AExpr

---
 paper/While/Common.icl | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'paper/While/Common.icl')

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
 
-- 
cgit v1.2.3