TODO


1
2
3
4
5
6
7
8
9
10
11

$Id: TODO,v 1.3 2006-01-04 02:59:22 matju Exp $

TODO:
 * benchmark
 * signals
 * grids

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

 * tests for the frameworks' own components?