LaTeX for Logicians and Programming Language People

I found a web site for a guide to write natural deduction proofs in latex. This site should not only be useful for logicians as the web site says, but it must also be useful to programming language people.

• http://www.logicmatters.net/latex-for-logicians/