minitt-rs
minitt-rs copied to clipboard
Termination check (structural induction)
Has this feature been implemented?
Neither minitt-rs nor voile-rs has termination check. If you wanna have a try, I'll recommend working on Voile because of the term structure. In Voile, the Neutral::App AST element is in spine-normal form, which is friendly for arguments traversals.