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: Feb 04 2023 at 02:03 UTC