Some commands are not tested
francoisthire opened this issue · comments
The commands dkdep and dkprune are not tested. For dkdep I think it is not that hard, for dkprune, I dont know.
Implementation of the λΠ-calculus modulo rewriting
francoisthire opened this issue · comments
The commands dkdep and dkprune are not tested. For dkdep I think it is not that hard, for dkprune, I dont know.