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)
This is nice and more readable! I did not know about this formatting library.
Kudos to @Clément Pit-Claudel
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.
@Enrico Tassi So just to poke a question I asked a while ago, how is universe polymorphism support coming along?
Not at all ;-) It will eventually, but not soon
Thanks for looking at the doc!
Last updated: Feb 05 2023 at 14:02 UTC