Merge pull request #4457 from jfdm/fix-pdf-doc
Let's ensure the PDF is updated as well.
commit02bfaac6f37a72689c21f8c40458e8d29ffab99e
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateTue 29 May 2018, 12:39 (8 years ago)
parent7701b4798b8014
idris-tutorial.pdf
Binary file not shown.