$Id: TODO,v 1.1 2006-01-09 05:04:19 matju Exp $

TODO:
 * benchmark
 * signals
 * grids

 * transitive, antisymmetric, predicate
 * contracts : *-rule.pd

 * tests for the frameworks' own components?