I have written an extension to make it easy to write Formal Logic into
wikitext. It isn't tested yet, and could do with some looking over. And
testing. The basic premise could be expanded to cover basic maths too. Put
simply it's an informal parser (where something like LaTeX is a very rigidly
formal parser that you have to learn - this one should be intuitive).
http://meta.wikimedia.org/wiki/WikiLogic
_______________________________________________
foundation-l mailing list
foundation-l@wikimedia.org
http://mail.wikipedia.org/mailman/listinfo/foundation-l
wikitext. It isn't tested yet, and could do with some looking over. And
testing. The basic premise could be expanded to cover basic maths too. Put
simply it's an informal parser (where something like LaTeX is a very rigidly
formal parser that you have to learn - this one should be intuitive).
http://meta.wikimedia.org/wiki/WikiLogic
_______________________________________________
foundation-l mailing list
foundation-l@wikimedia.org
http://mail.wikipedia.org/mailman/listinfo/foundation-l