Hi Marc, On Thu, Dec 12 2024, Marc Coquand wrote:
> I'm looking for is an easier way of importing procedures within > G-expressions. I'm not sure that's possible because the G-exp could, in the most generalized case, run on another piece of equipment. > I'm wondering if there is a way to call my-procedure without moving the > definition to a separate module You could 'define' your procedure inside the G-exp, although that may not be what you want. You may also be able to use 'load' on a store item (think 'plain-file' and friends). Those are automatically copied to the build side. Kind regards Felix
