3 ms·
It hadn't occurred to me that `#set` is changing the default value of an argument, which is a really weird thing for a programming language to allow, but perfec
by TRiG_Ireland 2y ago
It hadn't occurred to me that `#set` is changing the default value of an argument, which is a really weird thing for a programming language to allow, but perfectly natural in a typesetting system.