Stream: Elpi users & devs

Topic: ✔ Using Query on a Db


view this post on Zulip Michael Soegtrop (Nov 11 2022 at 16:29):

Ah OK, I missed the optional program parameter for Query!

view this post on Zulip Notification Bot (Nov 11 2022 at 16:29):

Michael Soegtrop has marked this topic as resolved.


Last updated: Feb 05 2023 at 14:02 UTC