Oct 20, 2026, 7:10 PMnicely, even though J-Bob is usually implemented on top of scheme or ACL2, I’m reading J-Bob programs with no changes other than adding a #lang j-bob line for the workbench
- Oct 20, 2026, 7:10 PM
Oct 20, 2026, 7:10 PMnicely, even though J-Bob is usually implemented on top of scheme or ACL2, I’m reading J-Bob programs with no changes other than adding a #lang j-bob line for the workbench