export Hypo(..) from PGF

2026-04-12 22:39:31 -06:00 · 2009-09-07 19:16:27 +00:00
parent 76517518a3
commit 9940c44259
1 changed files with 1 additions and 1 deletions
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -23,7 +23,7 @@ module PGF(
           languages, abstractName, languageCode,
           
           -- * Types
-           Type(..),
+           Type(..), Hypo(..),
           showType, readType,
           categories, startCat,