Skip to content

feat: functional induction for mutual structural recursion #3277

feat: functional induction for mutual structural recursion

feat: functional induction for mutual structural recursion #3277