Stanislav Chernichkin

I have a co-algebra which adds inherited attributes to underlying co-algebra. At each step it calculates inherited attributes, run underlying co-algebra to get result and map it to extend carrier...