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: https://github.com/LPCIC/coq-elpi/tree/master/examples

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 19 2024 at 21:01 UTC