microproofs a4aa51ed2d WIP: first part of mutual recursion is done. ...

This involves creating the function definition and detecting cycles.
The remaining part is to "fix" the call sites
of the mutually recursive functions

2023-09-25 21:16:19 -04:00

..

src

WIP: first part of mutual recursion is done.

2023-09-25 21:16:19 -04:00

Cargo.toml

WIP: first part of mutual recursion is done.

2023-09-25 21:16:19 -04:00