git.iko.soy/Idris-dev
on 308efea help sign in
Idris-dev/tutorial/conclusions.tex
14 lines 572 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 The IRC channel \texttt{\#idris}, on \url{chat.freenode.net}.
10\item Examining the prelude and exploring the \texttt{samples} in the distribution.
11\item Various papers (e.g. \cite{plpv11, scrap-engine,res-dsl-padl12}). These mostly describe
12older versions of \Idris{}.
13\end{itemize}