Quick Question
0 views
Skip to first unread message
Bryan Garcia
Mar 29, 2010, 9:03:59 PM3/29/10
to utexas-cs313k-spring2010
What is it called when you use something in one branch of an if to
prove that something had to be true or false because of it in the
second branch. For example
prove that something had to be true or false because of it in the
second branch. For example
(endp x) ^ (if (endp x) ......)
<-->
(endp x)^(if t .....)
Justin Pope
Mar 30, 2010, 12:52:18 PM3/30/10
to utexas-cs313k-spring2010
if-ax1 for t
if-ax2 for nil
if-ax2 for nil
page 113 in the book
Kev.Zand
Mar 30, 2010, 12:55:14 PM3/30/10
to utexas-cs313k-spring2010
Actually, use the if-t and if-nil. It saves steps.
Reply all
Reply to author
Forward
0 new messages