w7cook/PL_book — pull request #3 by ccotter (2013-03-15 04:10:42+00:00)
Title: Church

Long story short: on Linux I had pandoc v1.10.0.? instead of v1.11. After upgrading, my issues with four backticks have thus been solved. More importantly, `ghci anatomy.lhs` works!

This pull request has content filled in for Church Numerals *and* a couple fixes for the makefile. A more detailed description is in the commit messages.