Closed davidchambers closed 6 years ago
99% of the changes in this pull request are whitespace changes prompted by a recent sanctuary-style update. The f (x) (y) style makes the equivalences easier to read.
f (x) (y)
Before:
equals(traverse(C)(C)(u), C(map(traverse(G)(identity))(traverse(F)(identity)(u))))
After:
equals (traverse (C) (C) (u), C (map (traverse (G) (identity)) (traverse (F) (identity) (u))))
99% of the changes in this pull request are whitespace changes prompted by a recent sanctuary-style update. The
f (x) (y)
style makes the equivalences easier to read.Before:
After: