ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity
master
Idris-dev/idris-tutorial.pdf
Jan de Muijnck-Hughes bc8926c1b9 Minor fix to latex sphinx build configuration. 
Build was failing locally with \textlambda not being found. Added new package for fix.

Changed name of generated pdf to match project name, and removed second PDF file in list. This hopefuly will make RTD build again...

Update PDF of tutorial in source repository.
2020-03-10 14:17:53 +00:00

628 KiB
Raw Permalink History