libera/#climacs - IRC Chatlog Search Tuesday, 21st of March 2023, 17:07:10 UTC 17:31:06 scymtym beach: i haven't thought about the issue and i haven't looked at the canonicalization code in the concrete-syntax-tree library. i will have a look and form an opinion 17:38:26 beach Sounds good. Thanks! 4:35:53 beach` ** NICK beach