PowerPoint Presentation - CS 60 Slides

Summary of Equality Rules

1equals([ ], [ ]) => 1;

2equals([A | L], [A | M]) => equals(L, M);

3equals(X, Y) => 0;