title: conda, condi, conde, condu
body: <p>I'm reading <a href="http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&amp;tid=10663">the Reasoned Schemer</a>.</p>
  
  <p>I have some intuition about how <code>conde</code> works.</p>
  
  <p>However, I can't find a formal definition of what <code>conde</code>/<code>conda</code>/<code>condu</code>/<code>condi</code> do.</p>
  
  <p>I'm aware of <a href="https://www.cs.indiana.edu/~webyrd/">https://www.cs.indiana.edu/~webyrd/</a> but that seems to have examples rather than definitions.</p>
  
  <p>Is there a formal definition of <code>conde</code>, <code>conda</code>, <code>condi</code>, <code>condu</code> somewhere?</p>