Timeline for Has the semantics of TeX (as a programming language) ever been formalized?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2018 at 15:40 | comment | added | JAB | "complex graphics package" Of course, if you use tikz or pgf graphics, you can always externalize them and save a lot of time on builds when they don't change (which is a lot like incremental compilation, really). | |
| Feb 26, 2018 at 13:03 | comment | added | Nicola Gigante | Another application which is related to optimisation is to automatically cleanup code, for example removing useless “\expandafter”s or similar. | |
| Feb 26, 2018 at 13:00 | vote | accept | Nicola Gigante | ||
| Feb 27, 2018 at 1:50 | |||||
| Feb 26, 2018 at 13:00 | comment | added | Nicola Gigante | Thanks. As you said, incremental compilation is maybe more interesting that optimisation here, especially if we think about how poorly editors can currently integrate with the language | |
| Feb 26, 2018 at 8:53 | history | answered | gasche | CC BY-SA 3.0 |