Closed wisnesky closed 5 years ago
To start, we need a function comp_map that, given
m1 :: Mapping var ty sym en fk att en’ fk’ att’ m2 :: Mapping var ty sym en’ fk’ att' en’' fk’' att’’
Such that dst m1 = src m2, returns
comp_map m1 m2 :: Mapping var ty sym en fk att en’' fk’' att’’
Such that src (comp_map m1 m2) = src m1 and dst (comp_map m1 m2) = dst m2.
The entity mappings compose directly. Composing the term mappings requires substitution.
On Oct 18, 2018, at 2:44 AM, Marco Perone notifications@github.com wrote:
@wisnesky could you provide some details of what needs to be done here and on #26?
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.
@wisnesky could you please provide some details of what needs to be done here and on #26?