lexi.lambda
2019-5-27 17:25:40

@sanchom Use format-id to unhygienically make a new identifier from an existing one while copying the lexical context.