From 9568d7a844ba6a1872a8e8f6ef002860057e62ab Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Fri, 18 Feb 2005 18:21:06 +0000
Subject: "Committed_by_peb"

---
 src/GF/Grammar/TC.hs | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

(limited to 'src/GF/Grammar/TC.hs')

diff --git a/src/GF/Grammar/TC.hs b/src/GF/Grammar/TC.hs
index c263f769b..e44a28e97 100644
--- a/src/GF/Grammar/TC.hs
+++ b/src/GF/Grammar/TC.hs
@@ -1,18 +1,24 @@
 ----------------------------------------------------------------------
 -- |
--- Module      : (Module)
--- Maintainer  : (Maintainer)
+-- Module      : TC
+-- Maintainer  : AR
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date $ 
--- > CVS $Author $
--- > CVS $Revision $
+-- > CVS $Date: 2005/02/18 19:21:13 $ 
+-- > CVS $Author: peb $
+-- > CVS $Revision: 1.7 $
 --
--- (Description of the module)
+-- Thierry Coquand's type checking algorithm that creates a trace
 -----------------------------------------------------------------------------
 
-module TC where
+module TC (AExp(..),
+	   Theory,
+	   checkExp,
+	   inferExp,
+	   eqVal,
+	   whnf
+	  ) where
 
 import Operations
 import Abstract
@@ -20,8 +26,6 @@ import AbsCompute
 
 import Monad
 
--- Thierry Coquand's type checking algorithm that creates a trace
-
 data AExp =
      AVr   Ident Val 
    | ACn   QIdent Val
-- 
cgit v1.2.3