Bug Fix Relating to Object Equality

anoma / geb

A Categorical View of Computation

https://anoma.github.io/geb/

GNU General Public License v3.0

28 stars 10 forks source link

Closed agureev closed 1 year ago

agureev commented 1 year ago

Fixes obj-equalp method by checking the classes of provided terms.

mariari commented 1 year ago

Thanks for the work