diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/PGF.hs | 13 |
1 files changed, 5 insertions, 8 deletions
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, |