Allow generation of recursive functions #170

New Issue

aniva · 2025-02-25T17:07:56-08:00

aniva commented

2025-02-25 17:07:56 -08:00

This will require some filtering on the local context. We need to expose the self declaration (currently an implementationDetail). Each invocation to self would be accompanied by a termination and well-foundedness proof.

This will require some filtering on the local context. We need to expose the self declaration (currently an `implementationDetail`). Each invocation to self would be accompanied by a termination and well-foundedness proof.

aniva added the

part/Goal

category

feature

labels 2025-02-25 17:07:56 -08:00

aniva self-assigned this 2025-02-25 17:07:56 -08:00

Sign in to join this conversation.