This version uses modal models with recursive instantiation. The unrolled version compiles; the truly recursive one does not. This PR was moved from the experimental repo, which is soon to be defunct. Because this is an experimental program that is not guaranteed to be polished for end users, I hope it will not take too much time to merge.
This version uses modal models with recursive instantiation. The unrolled version compiles; the truly recursive one does not. This PR was moved from the experimental repo, which is soon to be defunct. Because this is an experimental program that is not guaranteed to be polished for end users, I hope it will not take too much time to merge.