Function equality

I wonder if Unison can bring any new insights to this topic

1 Like