Bas Spitters (Dec 06 2022 at 11:58): Bas Spitters (Dec 06 2022 at 11:58):I know there is a long term goal to integrate Equations and Program.
We have some code that still uses Program, should we try and port it to Equations?
Karl Palmskog (Dec 06 2022 at 12:05):Program hasn't even been discussed for deprecation, to my knowledge. Only Function.
So the standard response from the Coq Platform side is: both Program and Equations are supported going forward, use whatever you think is best for you. (Also holds for Function, since no deprecation decision has been made)
Last updated: May 28 2023 at 18:29 UTC