Skip to content

Draft: open recursion for Core's Type --- contains !7579

John Ericson requested to merge wip/open-recursion-type into master

I have made some progress rewriting Type and HieType in terms of an underlying "open" TypeF. I think open recursion compliments, rather than competes with trees that grow, and am hoping we can merge this. I should probably do the same thing to IFaceType too.

Edited by John Ericson

Merge request reports