\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Patterns}{1}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Case Expressions}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Expression}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Typing}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Reduction}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Examples}{2}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Special Notes}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Val Declarations}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Expressions}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Typing}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Reduction}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Examples}{3}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Functions}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {2}Functions}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Anonymous Functions}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Recursive Functions}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Expressions}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Values}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Typing}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Reduction}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {paragraph}{Special Notes}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {3}Fixity}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Prefix}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Postfix}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Infix}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {4}Extensional Equivalence and Reduction Tricks}{7}{}\protected@file@percent }
\gdef \@abspage@last{8}