Stream: Elpi users & devs

Topic: Updated tutorials


view this post on Zulip Enrico Tassi (Aug 25 2021 at 10:13):

I've made a major pass on the four tutorials which are now rendered nicely thanks to Alectryon.
Any feedback would be welcome.
CC @Enzo Crance @Ali Caglayan (which kind of expressed interest in this at some point)

view this post on Zulip Enzo Crance (Aug 26 2021 at 06:26):

This is nice and more readable! I did not know about this formatting library.

view this post on Zulip Enrico Tassi (Aug 26 2021 at 07:04):

Kudos to @Clément Pit-Claudel

view this post on Zulip Ali Caglayan (Sep 28 2021 at 13:56):

Hi Enrico, I've been reading https://lpcic.github.io/coq-elpi/tutorial_coq_elpi_HOAS.html and so far it is very clear! It is really well written.

view this post on Zulip Ali Caglayan (Sep 28 2021 at 13:59):

@Enrico Tassi So just to poke a question I asked a while ago, how is universe polymorphism support coming along?

view this post on Zulip Enrico Tassi (Sep 28 2021 at 14:37):

Not at all ;-) It will eventually, but not soon

view this post on Zulip Enrico Tassi (Sep 28 2021 at 14:38):

Thanks for looking at the doc!


Last updated: Feb 05 2023 at 14:02 UTC