Closed SimonGuilloud closed 1 year ago
Update the substitution&instantiation part of the kernel and allows for simultaneous instantiation of schemas of different kinds, which was not possible until now.
Update the substitution&instantiation part of the kernel and allows for simultaneous instantiation of schemas of different kinds, which was not possible until now.