1 files changed, 5 insertions, 0 deletions
diff --git a/src/PGF.hs b/src/PGF.hs
index dc777f4d5..e93b1dcb0 100644
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -26,6 +26,10 @@ module PGF(
            
            -- ** Category
            Category, categories, startCat,
+           
+           -- * Types
+           Type(..),
+           showType, readType,
 
            -- * Expressions
            -- ** Tree
@@ -64,6 +68,7 @@ import PGF.Paraphrase
 import PGF.Macros
 import PGF.Data
 import PGF.Expr
+import PGF.Type
 import PGF.Raw.Convert
 import PGF.Raw.Parse
 import PGF.Raw.Print (printTree)