CurryInfo
All Packages
CurryInfo Cache (.tgz)
CPM Repository
Masala
Curry Package Manager
Curry Homepage
CurryInfo:
currydoc-4.1.0 / CurryDoc.Options: all operations
defaultCurryDocOptions
docMods
docType
docURL
mainTitle
useDirURL
withIndex
withMarkdown