search

dannywillems / RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
36 stars 3 forks source link

Rules to compare recursive types. #58

Open dannywillems opened 7 years ago

dannywillems commented 7 years ago

No rules to compare recursive types. We need to unpack both. A match is defined in the algorithm.