&gt;&gt; Basically, a spreadsheet, but generalized for any computation<br><br>&gt;<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>&gt;<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&#39;m attempting to reinvent. :)<br><br>&gt;<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>&gt; What it does lack is much documentation :)<br>
</div>If I understand what I&#39;m looking at, seems like PropLang could benefit from Magnus&#39;s technique.<br><br><span class="sg">&gt;</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&#39;s a before and after shot of my head:<br>Before:<br>&nbsp;&nbsp; &quot;head&quot;<br>After:<br>&nbsp;&nbsp; &quot;&nbsp; h&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; e&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; a &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; d&quot;
<br>See how it exploded? :)<br><br><span class="sg">&gt; Sebastian says:</span><br>&gt; Off the top of my head...<br>&gt; when ( newVals /= vals ) retry -- at least one input must&#39;ve been changed<br>&gt; you simply recompute the new value from the inputs
<br>Neat idea.&nbsp; I&#39;m not sure if it&#39;s quite what I&#39;m looking for, but I like the simplicity of it.<br><br>Thanks all for your help!<br>Greg<br><br>