Equality: Prior Art in Programming Languages This document contains notes on how equality works in different programming languages, with a focus on immutable data types in functional languages. OCaml OCaml and Reason OCaml has two equality primitives:
