Stone: Section 14

From CSWiki

Jump to: navigation, search

There's a mistake in the first paragraph of section 14: Where it says

Given apply, it is tempting to try to define such a predicate as \texttt{[?}_2 \texttt{\ apply\ one}_2 \texttt{\ zero}_2 \texttt{]}.

it should actually say

Given apply, it is tempting to try to define such a predicate as \texttt{[?}_2 \texttt{\ [o}^1_2 \texttt{\ one}_1 \texttt{\ apply]\ one}_2 \texttt{\ zero}_2 \texttt{]}.

--Stone 16:00, 5 March 2007 (CST)

Retrieved from "http://wiki.cs.grinnell.edu/mediawiki/index.php/Stone:_Section_14"
Personal tools