Skip to content

Commit 9f1eb47

Browse files
nomeatanomeata
authored
feat: functional induction for mutual structural recursion (#4772)
1 parent 92cca5e commit 9f1eb47

File tree

4 files changed

+391
-165
lines changed

4 files changed

+391
-165
lines changed

0 commit comments

Comments
 (0)