Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool