Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
GNU General Public License v3.0
2
stars
0
forks
source link
Combination of `with_noncanonical_types`, type recursivity and wildcard causes issues #103
I think this was addressed in 5eb400965e35eae7a4a38f3b83695001f1ecc720, cf #108. If not, cf #109.