Use `Equations` instead of `Program Fixpoint` for termination about hs-to-coq

[womeier]

I am working on this. Where can I find the hs-to-coq channel?

(I am working with Peter Trommler.)

[sweirich]

Hi Wolfgang! Thanks for joining! The hs-to-coq channel is part of an internal Penn slack server. We're looking into creating a more public space for discussion. In the meantime, feel free to use this issue for questions.

[lastland]

Hi @womeier, we have just created a public hs-to-coq channel. It exists as a stream on Coq's Zulipchat: either use https://coq.zulipchat.com/#narrow/stream/240767-hs-to-coq-devs.20.26.20users or find "hs-to-coq devs & users" stream on Coq's Zulipchat (https://coq.zulipchat.com/). And just in case you don't know it yet, there is also an "Equations devs & users" stream on Coq's Zulipchat which you may find useful.

[womeier]

Ok, good to know. Thank you @lastland for the suggestion :)