@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.

Follow

@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é

functional.cafe is an instance for people interested in functional programming and languages.