From 70ec6632fd64123360d01056f630e6db4dba57d1 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 15 Oct 2009 16:21:26 +0000
Subject: added smart constructors for types in PGF

---
 src/PGF.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/PGF.hs')

diff --git a/src/PGF.hs b/src/PGF.hs
index 1efabcc3c..b9ad357c9 100644
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -27,8 +27,9 @@ module PGF(
            languages, abstractName, languageCode,
            
            -- * Types
-           Type,
+           Type, Hypo,
            showType, readType,
+	   mkType, mkHypo, mkDepHypo, mkImplHypo,
            categories, startCat,
 
            -- * Functions
-- 
cgit v1.2.3