Sun Aug 21 22:51:38 CEST 2011
Had a quick look at AudioProc and it doesn't seem to work for me
since it's list-based. I need to explicit equation-rep for abstract
interpretation and code gen.
It uses loop to introduce feedback (with delay). I'm not using that
at all: feedback is built-in as a primitive in my rep so it is easily
An open recursion relation is easier to convert back to an open
recursion relation in a different form than is a closed one.
However, it might be possible to use ArrowLoop to perform the binding
"interpretatively" only, leaving the open representation intact but
just recording the binding information separately.