Skip to content

Instantly share code, notes, and snippets.

@erikkaplun

erikkaplun/gist:37a0f2dfde829d0bd0b4

Created January 24, 2015 23:40
Show Gist options
  • Save erikkaplun/37a0f2dfde829d0bd0b4 to your computer and use it in GitHub Desktop.
Save erikkaplun/37a0f2dfde829d0bd0b4 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
~/code/idris/idris-tutorial$ pandoc --from=latex --to=epub idris-tutorial.screen.tex -o idris-tutorial.screen.epub
pandoc:
Error at "./content/typesfuns.tex" (line 688, column 9):
unexpected " "
expecting "{" or "\\"
(that is, \Idris{} uses \emph{eager} evaluation). However, this is not always
^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment