Fix `make pdf` - Githubissues

waddlaw commented 6 years ago

Changes:

Fix stack install pandoc pandoc-citeproc error.
Fix make pdf error.
Change table of contents of the book in README.md.
Update programming-with-refinement-types.pdf

waddlaw commented 6 years ago

Hi, @ranjitjhala please take a look. How about this?

ranjitjhala commented 6 years ago

Oops sorry I missed this and thanks for the reminder! Will take a look today!

On Mon, Jan 15, 2018 at 5:25 PM Shinya Yamaguchi notifications@github.com wrote:

Hi, @ranjitjhala https://github.com/ranjitjhala please take a look. How about this?

— You are receiving this because you were mentioned.

Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/60#issuecomment-357826917, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOFpBAVrdyoY3eRQeXrIQUv4tEalKks5tK_p1gaJpZM4RYx13 .

ranjitjhala commented 6 years ago

This is fantastic, many thanks again @waddlaw !!!

waddlaw commented 6 years ago

thanks!

ucsd-progsys / liquidhaskell-tutorial

Fix `make pdf` #60