From 255ba39c758535589dfd66ffb6efb108919ecc08 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Fri, 11 May 2012 17:52:22 +1000
Subject: Incorporated use of Data.Set and Data.Map

---
 Term.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Term.hs')

diff --git a/Term.hs b/Term.hs
index 626b91c..f8f1b84 100644
--- a/Term.hs
+++ b/Term.hs
@@ -27,7 +27,7 @@ data Term = TVar { tVar :: Var }
           | TApp { tAppLeft :: Term
                  , tAppRight :: Term }
           | TAbs { tAbsVar :: Term
-                 , tAbsTerm :: Term }
+                 , tAbsTerm :: Term } deriving (Ord)
 
 type Substitution = ( [(Name,Type)], [(Var,Term)] )
 
-- 
cgit