diff --git a/src/PGF.hs b/src/PGF.hs index 05d89651e..43e2e2aab 100644 --- a/src/PGF.hs +++ b/src/PGF.hs @@ -16,24 +16,21 @@ module PGF( -- * PGF PGF, readPGF, - - -- * Identifiers - -- ** CId - CId, mkCId, prCId, wildCId, - -- ** Languages + -- * Languages Language, showLanguage, readLanguage, languages, abstractName, languageCode, - -- ** Categories - categories, startCat, - -- * Types Type(..), showType, readType, + categories, startCat, -- * Expressions + -- ** Identifiers + CId, mkCId, prCId, wildCId, + -- ** Tree Tree(..), Literal(..), showTree, readTree,