>> Basically, a spreadsheet, but generalized for any computation

>http://www.cse.ogi.edu/~magnus/Adaptive/
Thanks, this is exactly what I was looking for!

>http://www.haskell.org/frp/
Cool, this is probably what I'm attempting to reinvent. :)

>http://www.cs.york.ac.uk/fp/darcs/proplang/
> What it does lack is much documentation :)

If I understand what I'm looking at, seems like PropLang could benefit from Magnus's technique.

> http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html
Here's a before and after shot of my head:
Before:
"head"
After:
" h e a d"
See how it exploded? :)

> Sebastian says:
> Off the top of my head...
> when ( newVals /= vals ) retry -- at least one input must've been changed
> you simply recompute the new value from the inputs
Neat idea. I'm not sure if it's quite what I'm looking for, but I like the simplicity of it.

Thanks all for your help!
Greg