I’ve created a yet another Coq project file, Pairs.v, that includes the modules I presented in class yesterday. Another example of polymorphism very similar to the Stacks.v examples with the additional use of Notation.
Notation