Stream: Elpi users & devs

Topic: Extending predicate with multiple clauses

view this post on Zulip Tomaz Gomes (Sep 24 2024 at 11:00):

Hi,

I would like to use the copy predicate, but with multiple clauses added, so that it replaces the patterns I specify, instead of copying them. What exactly is the syntax for doing that?

view this post on Zulip Enrico Tassi (Sep 24 2024 at 11:05):

You can write copy a b => copy c d => copy T1 T2 or [ copy c d, copy a b, ... ] =>.
See also #Elpi users & devs > ✔ std.forall vs manual loop

view this post on Zulip Tomaz Gomes (Sep 24 2024 at 11:09):

Thanks @Enrico Tassi !

Last updated: Oct 13 2024 at 01:02 UTC