Hi Marc, On Thu, Dec 12 2024, Marc Coquand wrote:
> Is there a way to import functions instead of entire modules? Are you looking for something more than the selective import of module bindings via '@'? [1] Kind regards Felix P.S. In Guile, the preferred term for functions may be procedures. [1] https://www.gnu.org/software/guile/manual/html_node/Using-Guile-Modules.html#index-_0040
