Open n-osborne opened 3 months ago
This PR proposes to add support for mutually recursive ghost types.
This should fix #388
This PR proposes to add support for mutually recursive ghost types.
This should fix #388