Stream: Elpi users & devs

Topic: Examples

view this post on Zulip Alexander Gryzlov (Aug 30 2020 at 00:23):

Just noticed that there now are some usage examples in the repo:

view this post on Zulip Enrico Tassi (Aug 30 2020 at 06:28):

Yes, they should be all linked from the main README. There is a short description there.

Last updated: Apr 21 2024 at 02:41 UTC