The Reasoned Schemer by Daniel P. Friedman;William E. Byrd;Oleg Kiselyov

Author:Daniel P. Friedman;William E. Byrd;Oleg Kiselyov [Kiselyov, Daniel P. Friedman;William E. Byrd;Oleg]
Language: eng
Format: epub
Published: 2010-12-06T17:34:00+00:00

The First Commandment

To transform a function whose value is a Boolean into a function whose value is a goal, replace cond with conde and unnest each question and answer. Unnest the answer #t (or #f) by replacing it with #s (or #u).

Now go make yourself a peanut butter and marmalade sandwich.

This space reserved for

MARMALADE STAINS!

The Second Commandment

To transform a function whose value is not a Boolean into a function whose value is a goal, add an extra argument to hold its value, replace cond with conde, and unnest each question and answer.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.