% Version of hshw.sty FOR STUDENTS
%
% * Comments out diagrams
% * Does not include sproof stuff, assuming they will use
%   sproof.sty

\usepackage{comment}
\usepackage{graphicx}
\usepackage{url}
\usepackage{xcolor}
\usepackage{prettyref}
\usepackage{todonotes}
\usepackage{amsmath}
\usepackage{fancyhdr}
\usepackage{hyperref}
\usepackage{datetime}
\usepackage{enumitem}

\newcommand{\theyear}{2016}
\newcommand{\thecourse}{CSCI 490}

\newcounter{excount}
\setcounter{excount}{1}
\newcommand{\exercisect}[1]{
  \vspace{2em}\noindent
  {\large \textbf{Exercise\ \arabic{excount}#1}}
  \refstepcounter{excount}
}
\newcommand{\exerciset}[1]{\exercisect{: #1}}
\newcommand{\exercise}{\exercisect{}}
\newcommand{\opt}{
  {\large \textbf{(Optional)}}
}

\newenvironment{example}{\medskip \noindent \emph{Example}: }{}
\newenvironment{rem}{\medskip \noindent \textbf{Remark.}}{}

\excludecomment{diagram}

\graphicspath{{images/}}

\newrefformat{fig}{Figure~\ref{#1}}
\newrefformat{sec}{section~\ref{#1}}
\newrefformat{eq}{equation~\eqref{#1}}
\newrefformat{prob}{Problem~\ref{#1}}
\newrefformat{tab}{Table~\ref{#1}}
\newrefformat{thm}{Theorem~\ref{#1}}
\newrefformat{lem}{Lemma~\ref{#1}}
\newrefformat{prop}{Proposition~\ref{#1}}
\newrefformat{defn}{Definition~\ref{#1}}
\newrefformat{cor}{Corollary~\ref{#1}}
\newrefformat{ex}{Exercise~\ref{#1}}
\newcommand{\pref}[1]{\prettyref{#1}}

% \Pref is just like \pref but it uppercases the first letter; for use
% at the beginning of a sentence.
\newcommand{\Pref}[1]{%
  \expandafter\ifx\csname r@#1\endcsname\relax {\scriptsize[ref]}
    \else
    \edef\reftext{\prettyref{#1}}\expandafter\MakeUppercase\reftext
    \fi
}

\newcommand{\term}[1]{\emph{#1}}
\newcommand{\ie}{\emph{i.e.}}
\newcommand{\eg}{\emph{e.g.}}
\newcommand{\etc}{\emph{etc.}}

%% lambda calculus

\newcommand{\lam}[2]{\ensuremath{\lambda #1. \, #2}}
\newcommand{\lamt}[3]{\ensuremath{\lambda #1 \colon \! #2 . \, #3}}
\newcommand{\app}[2]{\ensuremath{#1 \; #2}}

%% todos

\let\oldtodo\todo
\renewcommand{\todo}[1]{\oldtodo[inline,size=\small]{#1}}

%% title

\let\oldmaketitle\maketitle
\renewcommand{\maketitle}{\oldmaketitle\smallskip\hrule\bigskip}

%% footer

\fancyfoot[CO,CE]{\includegraphics[width=0.5in]{../../../images/CC-BY.png}
  \\ \small \copyright\ \theyear\ Brent A. Yorgey.  This work is licensed under a
  \href{http://creativecommons.org/licenses/by/4.0/}{Creative Commons
    Attribution 4.0 International License}.}
