[defined_requirements
trb@categorical.net**20041027222422] 
[some_thoughts_about_approaches
trb@categorical.net**20041027222740] 
[added_reference_material
trb@categorical.net**20041128094140] 
[further_thoughts
trb@categorical.net**20041128094220
 Particularly the possibility of a Curry combinator library with similar expressive power to CHR.
] 
[added_references_to_Chameleon_and_haskellchr
trb@categorical.net**20041211105912] 
[added_reference_to_ProgrammingWithConstraints
trb@categorical.net**20041211214306] 
[added_thoughts_about_constraint_store_and_backtracking
trb@categorical.net**20041212220940] 
[mentioned_HAL
trb@categorical.net**20041212221039] 
[converted_kotl_files_to_outl
trb@categorical.net**20041220083609
 The .kotl files were inconvenient because darcs would be unable to merge them.
 The .outl files are plain text files that follow a convention of using asterisks to denote indentation level. They are supported by xemacs outline-mode.
] 
[added_some_more_references_for_CHR_compilation
trb@categorical.net**20041220083848] 
[tidied_up_design_ideas
trb@categorical.net**20050206214554
 The .outl files should be read using emacs Outline mode. They do not look as nice as Hyperbole Koutliner files, but they are more amenable to revision control.
] 
[added_rough_manual_translation_of_leq_chr_to_curry
trb@categorical.net**20050206214819] 
[added_note_about_C_static_var
trb@categorical.net**20050726073331]