minitt-rs icon indicating copy to clipboard operation
minitt-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang

Termination check (structural induction)

Open ice1000 opened this issue 6 years ago • 2 comments

ice1000 avatar Mar 14 '19 22:03 ice1000

Has this feature been implemented?

zaoqi avatar Sep 12 '19 14:09 zaoqi

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.

ice1000 avatar Sep 12 '19 16:09 ice1000