Canonical types don't propagate to parameters

quangis / transforge

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

Canonical types don't propagate to parameters #109

Open nsbgn opened 2 years ago

nsbgn commented 2 years ago

The cct algebra has R2(Obj, Reg * Qlt) in the canon set, and yet Reg * Nom is noncanonical.