Given a two nodes that can be combined in either direction by the same rule, it would be great to have a dialog window appear allowing the user to specify the direction of rule application. It would also be helpful for the dialog window to display the lambda expression resulting from each direction.
e.g. Two nodes of types <'a,t> and <'b,t>, respectively, can be combined left-to-right or right-to-left with function application, resulting in a parent node of type t.
Request for the teacher edition:
Given a two nodes that can be combined in either direction by the same rule, it would be great to have a dialog window appear allowing the user to specify the direction of rule application. It would also be helpful for the dialog window to display the lambda expression resulting from each direction.
e.g. Two nodes of types
<'a,t>and<'b,t>, respectively, can be combined left-to-right or right-to-left with function application, resulting in a parent node of type t.