Stream: Equations devs & users

Topic: Program

view this post on Zulip 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?

view this post on Zulip 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: Jul 25 2024 at 16:02 UTC