Kudos to @phoe for their work implementing package-local nicknames for CCL https://github.com/Clozure/ccl/pull/188 #lisp
@PuercoPop It's not just me - pfdietz also did his share of work by extending https://github.com/phoe/package-local-nicknames-tests to help test implementations in general.
@PuercoPop Also kudos go to rme for managing the whole thing from the maintenance point of view, and to Matt Kaufmann for testing the changes against ACL2 that he helps maintain.
@PuercoPop It's a team effort, and I do not think I could have done it alone like that.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!