>> Basically, a spreadsheet, but generalized for any computation<br><br>><a href="http://www.cse.ogi.edu/%7Emagnus/Adaptive/" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.cse.ogi.edu/~magnus/Adaptive/
</a><br>Thanks, this is exactly what I was looking for!<br><br><div>><span class="gmail_quote"></span><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://www.haskell.org/frp/" target="_blank">http://www.haskell.org/frp/
</a><br>Cool, this is probably what I'm attempting to reinvent. :)<br><br>><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://www.cs.york.ac.uk/fp/darcs/proplang/" target="_blank">http://www.cs.york.ac.uk/fp/darcs/proplang/
</a><br>> What it does lack is much documentation :)<br>
</div>If I understand what I'm looking at, seems like PropLang could benefit from Magnus's technique.<br><br><span class="sg">></span><a onclick="return top.js.OpenExtLink(window,event,this)" href="http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html" target="_blank">
http://sigfpe.blogspot.com/2006/11/from-l-theorem-to-spreadsheet.html</a><br>Here's a before and after shot of my head:<br>Before:<br> "head"<br>After:<br> " h e a d"
<br>See how it exploded? :)<br><br><span class="sg">> Sebastian says:</span><br>> Off the top of my head...<br>> when ( newVals /= vals ) retry -- at least one input must've been changed<br>> you simply recompute the new value from the inputs
<br>Neat idea. I'm not sure if it's quite what I'm looking for, but I like the simplicity of it.<br><br>Thanks all for your help!<br>Greg<br><br>