more startCat to the Types section in the Haddock documentation for the Haskell binding

This commit is contained in:
krasimir
2017-01-26 06:41:27 +00:00
parent 4442e302e6
commit 45dd793f50

View File

@@ -26,13 +26,13 @@ module PGF2 (-- * PGF
-- * Abstract syntax
AbsName,abstractName,
-- ** Categories
Cat,startCat,categories,
Cat,categories,
-- ** Functions
Fun,functions, functionsByCat, functionType, hasLinearization,
-- ** Expressions
Expr,showExpr,readExpr,mkApp,unApp,mkStr,unStr,mkInt,unInt,mkFloat,unFloat,
-- ** Types
Type(..), Hypo, BindType(..), showType,
Type(..), Hypo, BindType(..), startCat, showType,
-- * Concrete syntax
ConcName,Concr,languages,