inference of structures on paramters#146

Merged

CohenCyril merged 7 commits intomasterfrom

Feb 17, 2021

Commits on Feb 17, 2021

hack: backport from coq-elpi a new kind of attribute (map)

gares
authored and
CohenCyril
committed
automatic inference of a structure on structure paramters

gares
authored and
CohenCyril
committed
CI is for free

gares
authored and
CohenCyril
committed
fix CI on old coq-elpi

gares
authored and
CohenCyril
committed
better test

gares
authored and
CohenCyril
committed
note about attribute parsing hack

gares
authored and
CohenCyril
committed
changing mk-phant-abbrev to use skeletons
CohenCyril
committed