laurent.orseau
2020-8-19 12:26:09
Similar to TeX compress in DrRacket, right? (I also have a long file of latex replacements that I should cleanup and share at some point…)
spdegabrielle
2020-8-19 14:52:24
I didn’t realise that was for the new IDE project at first.
wanpeebaw
2020-8-19 15:50:22
That was the fun part! :wink:
spdegabrielle
2020-8-19 15:51:57
are you involved?
spdegabrielle
2020-8-19 15:52:48
@wanpeebaw are you involved in the sauron IDE project?
wanpeebaw
2020-8-20 03:28:01
@spdegabrielle I’m not involved in this project, just thought it’s interesting.