breaks the idea of reducing away all of the iteration
from an almost-closed (i.e. only diamonds are free variables)
term. It might take some time before a counterexample
or workaround reveals itself, I think.
You may enjoy this fantastically 80s video describing Illustrator 88: Once, when I was a little kid, I drew a picture of a giraffe on Adobe…
I found out this morning thanks to Generator.x that there has been for quite some time a scripting plugin for Illustrator called "scriptographer".…
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf