Zulip Chat Archive
Stream: general
Topic: Modern LaTeX
Patrick Massot (Mar 17 2018 at 14:44):
I don't think it can be used as a preprocessor (that's an interesting question actually)
Patrick Massot (Mar 17 2018 at 14:46):
I created a new topic so we don't pollute what serious people have to say
Simon Hudon (Mar 17 2018 at 14:46):
Good thinking!
Simon Hudon (Mar 17 2018 at 14:47):
I will not stay long however. My brother is picking me up to go see my new nibbling
Patrick Massot (Mar 17 2018 at 14:48):
That's even further away from Type theory
Simon Hudon (Mar 17 2018 at 14:49):
Yeah! That's all the way in Montreal! What's the maximum allowed distance from Type Theory in here?
Last updated: Dec 20 2023 at 11:08 UTC