« Computable Analysis | Main | new GUI paradigm »
September 07, 2005
LaTeX for logicians
Typesetting logic stuff can be awful in raw LaTeX, so a handy-dandy set of macros helps a lot. I really wish there was a similar list for type theory as well as for programming language semantics. There is a jumbled list in the archives of the Types mailing list.
Posted by Carette at September 7, 2005 08:33 PM