Documentation of the Curry programs:

• AbsCurry.curry
• AbsCurryIO.curry
• AbstractCurry.curry
• AbstractCurryPrinter.curry
• AllSolutions.curry
• Array.curry
• Assertion.curry
• CategorizedHtmlList.curry
• Char.curry
• CLPB.curry
• CLPFD.curry
• CLPR.curry
• Combinatorial.curry
• CompactFlatCurry.curry
• CPNS.curry
• CSV.curry
• CurryStringClassifier.curry
• Database.curry
• DaVinci.curry
• Dequeue.curry
• Directory.curry
• Distribution.curry
• Dynamic.curry
• FileGoodies.curry
• FiniteMap.curry
• Flat.curry
• Flat2Fcy.curry
• FlatCurry.curry
• FlatCurryGoodies.curry
• FlatCurryRead.curry
• FlatCurryShow.curry
• FlatCurryTools.curry
• FlatCurryXML.curry
• FlatTools.curry
• FlatXML.curry
• FlexRigid.curry
• Float.curry
• Global.curry
• GraphInductive.curry
• GUI.curry
• HTML.curry
• HtmlCgi.curry
• HtmlParser.curry
• Integer.curry
• IO.curry
• IOExts.curry
• JavaScript.curry
• KeyDatabase.curry
• KeyDB.curry
• List.curry
• Mail.curry
• Maybe.curry
• NamedSocket.curry
• Parser.curry
• PlProfileData.curry
• Ports.curry
• Prelude.curry
• Pretty.curry
• PrettyAbstract.curry
• Profile.curry
• PropertyFile.curry
• Random.curry
• Read.curry
• ReadNumeric.curry
• ReadShowTerm.curry
• RedBlackTree.curry
• SetRBT.curry
• SetRBT0.curry
• Socket.curry
• Sort.curry
• System.curry
• TableRBT.curry
• TableRBT0.curry
• Time.curry
• Tk.curry
• Traversal.curry
• Unsafe.curry
• URL.curry
• WUI.curry
• WUIjs.curry
• XML.curry
• XmlConv.curry

• All functions
• All constructors

Function is deterministically defined, i.e., patterns are pairwise exclusive

Function is non-deterministically defined, i.e., contains overlapping patterns

Function is rigid

Function is flexible

Function is partially flexible and partially rigid