search

jwbuurlage / category-theory-programmers

Category theory in the context of (functional) programming
MIT License
512 stars 37 forks source link

Translate notes to Chinese #27

Open maoxiaoke opened 5 years ago

maoxiaoke commented 5 years ago

Very generous of you to share. I want to translate those notes to Chinese and publish it on Github as open source. Can I ?

jwbuurlage commented 5 years ago

Yes you can, thank you for asking! That would be great :)

On Dec 28, 2018 at 03:53, <maoxiaoke notifications@github.com> wrote:

Very generous of you to share. I want to translate those notes to Chinese and publish it on Github as open source. Can I ?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/jwbuurlage/category-theory-programmers/issues/27, or mute the thread https://github.com/notifications/unsubscribe-auth/AAFCNeyhT_t5H5oTv0xqK0ohyACqTicIks5u9YeTgaJpZM4ZjZDn .

maoxiaoke commented 5 years ago

@jwbuurlage Hello. When compiling those files to pdf, and I got this error message: 

→ make
pandoc 00_header.md 01_introduction.md 02_categories.md 03_category_of_types.md 04_products.md 05_yoneda.md 06_ccc.md 07_adjunctions.md 08_monads.md 09_f_algebras.md 10_comonads.md 11_lenses.md A0_ideas.md A1_exercises.md A2_haskell.md R0_references.md \
      --filter pandoc-citeproc \
      --template template.texinfo \
      --output=categories_for_programmers.pdf
Error producing PDF.
! Undefined control sequence.
l.2072 \arrow

make: *** [categories_for_programmers.pdf] Error 43

It seems there is something wrong dealing with plain tex instead of latex. But I have no idea How to handle this.

There is more info:

jwbuurlage commented 5 years ago

The \arrow command is from tikzcd, although if you do not have this installed it should give a package not found error instead. I don't have access to macOS so I cannot reproduce. Can you verify that tikzcd is installed?