Curry is an extension of Haskell that adds logic-programming features like logical variables, constaint solving and concurrent and distributed programming. The quarterly Logic Programming Newsletter is now online. It covers theoretical aspects of logic programming as well as practical programming in Prolog, and extensions logic programming such as equational logic programming, constraint logic programming and query answering in deductive databases. Text Formatting Languages LaTeX is the defacto text formatting system for academic papers containing mathematics. There is lots of online reference material for it.
More documentation is here .
Ian Graham's guide to HTML . An online quick reference card. Tips on writing HTML files to reduce net load . I use it with the table extensions by Joe Hildebrand. Mag's HTML Resources Page .