Comment the inner workings of dif/2. - Thanks

1 Like