microproofs f4310bcf33 feat: finished up mutual recursion ...

Now we "handle" vars that call the cyclic function.
That includes vars in the cyclic function as well as in other functions
"handle" meaning we modify the var to be a call that takes in more arguments.

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

..

src

feat: finished up mutual recursion

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