Stream: Coq users

Topic: ✔ Recursion + mutual recursion

view this post on Zulip Paolo Giarrusso (Aug 11 2022 at 22:18):

Indeed let (like definition) does not enable recursion, but that's what fix is for. Fixpoint is mostly just a Definition that uses fix.

view this post on Zulip Nikola Katić (Aug 11 2022 at 22:25):

Thanks again for clarifications :smile:
fold_left did the job in my case.

view this post on Zulip Notification Bot (Aug 11 2022 at 22:25):

Nikola Katić has marked this topic as resolved.

Last updated: Jan 27 2023 at 01:03 UTC