git.iko.soy/Idris-dev
on b63e9bb help sign in
Idris-dev/tutorial/conclusions.tex
13 lines 504 B history raw
1\section{Further Reading}
3Further information about \Idris{} programming, and programming with dependent
4types in general, can be obtained from various sources:
6\begin{itemize}
7\item The \Idris{} web site (\url{http://idris-lang.org/}) and by asking questions
8on the mailing list.
9\item Examining the prelude and exploring the \texttt{samples} in the distribution.
10\item Various papers (e.g. \cite{plpv11, scrap-engine,res-dsl-padl12}). These mostly describe
11older versions of \Idris{}.
12\end{itemize}