Stream: Elpi users & devs

Topic: Macro tutorial

Enzo Crance (May 09 2022 at 15:00):

Is there a tutorial on macros in Elpi? I haven't found it in the repositories.

Enrico Tassi (May 09 2022 at 15:25):

No, the only doc is https://github.com/LPCIC/elpi/blob/master/ELPI.md#macros

Last updated: Feb 04 2023 at 02:03 UTC