rgrig/topl — Issue #5: higher order properties
Author: rgrig
Created: 2012-02-21 17:15:48+00:00
State: open

There are many properties of the shape "event A must occur before even B". We would be able to express such patterns nicely if we would allow higher order properties, as Dino proposed. But then we should think carefully about recursion.