Zulip Chat Archive

Stream: general

Topic: Modern LaTeX


view this post on Zulip 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)

view this post on Zulip Patrick Massot (Mar 17 2018 at 14:46):

I created a new topic so we don't pollute what serious people have to say

view this post on Zulip Simon Hudon (Mar 17 2018 at 14:46):

Good thinking!

view this post on Zulip 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

view this post on Zulip Patrick Massot (Mar 17 2018 at 14:48):

That's even further away from Type theory

view this post on Zulip 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: May 14 2021 at 22:15 UTC