Stream: Elpi users & devs

Topic: ✔ Definitions shared between commands


view this post on Zulip James Wood (Aug 09 2023 at 17:17):

Aah, okay, yeah. It seems to work, anyway. I just had in mind that databases were meant to be mutable, and maybe the predicates had to be simpler, but if that's the standard solution, then I'm happy with it.

view this post on Zulip Notification Bot (Aug 09 2023 at 17:17):

James Wood has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC