Stream: Elpi users & devs

Topic: Macro tutorial


view this post on Zulip Enzo Crance (May 09 2022 at 15:00):

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

view this post on Zulip 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