Tue Dec 2 16:32:07 EST 2014
How to think about loops?
This problem has been bugging me for what... 20 years?
It looks like I've reached a point where I can't ignore it any more.
There are no hacks that can solve this.. It needs insight..
I need a loop transformation algebra.
In Feldspar this is called Vector Fusion. Maybe a good way to move
forward is to express the feedback generation part in Feldspar?