Enrico Tassi (Aug 25 2021 at 10:13): 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)
Enzo Crance (Aug 26 2021 at 06:26):This is nice and more readable! I did not know about this formatting library.
Enrico Tassi (Aug 26 2021 at 07:04):Kudos to @Clément Pit-Claudel
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.
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?
Enrico Tassi (Sep 28 2021 at 14:37):Not at all ;-) It will eventually, but not soon
Enrico Tassi (Sep 28 2021 at 14:38):Thanks for looking at the doc!
Last updated: Oct 13 2024 at 01:02 UTC