Features already implemented

• Formalization of rules in a full first-order temporal predicate logic with linear time
• Well-defined semantics based on abstract state machines
• Concrete rule syntax: XML
• Typechecking rules using a type system similar to O'Haskell
  features: basic subtyping, higher-order functions, and parametric polymorphism
  limitations: a function must not result in a function type, no partial application
• Interface to the revision control system darcs (CVS clone)
• Interface to the revision control system subversion (CVS successor)
• Generating reasonable repairs for inconsistencies
• Visualizing repairs and inconsistencies by nice DAGs (in SVG)
• Incremental generation of repairs

Last modified: Wed Sep 7 07:36:02 CEST 2005