This repository was archived by the owner on Apr 25, 2025. It is now read-only.

Commit 6a5b5fa

authored

Define iso-recursive type semantics (#243)

1 parent 7df71bd commit 6a5b5faCopy full SHA for 6a5b5fa

1 file changed

+468

-79

lines changed

+468

-79

lines changed

Comments

(0)