search

coq-community / paramcoq

Coq plugin for parametricity [maintainer=@proux01]
Other
44 stars 24 forks source link

Use of mkConstU and use of the new names of decompose_lam & cie (#15582) #111

Closed herbelin closed 1 year ago

herbelin commented 1 year ago

This PR addresses some warnings while compiling paramcoq with recent Coq (such as 8.18):

proux01 commented 1 year ago

Thanks!