on 4e0fe22 help sign in
Idris-dev/impl-paper/syntax.tex
10 lines 164 B history raw
1\section{High Level Structures}
3\subsection{\texttt{where} clauses}
5\subsection{The \texttt{with} rule}
7\subsection{Type Classes}
9\subsection{Syntactic Sugar}