@PuercoPop It's not just me - pfdietz also did his share of work by extending github.com/phoe/package-local- 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.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!