* factorial ((s ?x) - (s (0)))))

factorial (s (s (s (s (s (0))))))
</pre>

<h3>Binary</h3>

<p>Prefix rules to increment a binary number:</p>

<pre>
&lt;&gt; (inc (0 ?x)) ((1 ?x))
&lt;&gt; (inc (1 ?x)) ((0 inc ?x))
&lt;&gt; (inc ()) ((1 ()))

?(?-) (Count to 0x7f)

&lt;&gt; (> increc (1 (1 (1 (1 ()))))) (done.)
&lt;&gt; (> increc ?i) (> (inc ?i wait) increc)
&lt;&gt; (> (?i wait) increc) (> increc ?i)

> increc ()
</pre>