Rigorously define equals method on Term and Quad#142

Merged

elf-pavlik merged 3 commits intomasterfrom fix/equals

Mar 5, 2019

+54-22

Commits on Mar 5, 2019

Rigorously define equals for Term.

RubenVerborgh
authored and
elf-pavlik
committed
Rigorously define equals for Quad.

RubenVerborgh
authored and
elf-pavlik
committed
Update interface-spec.html

blake-regalia
authored and
elf-pavlik
committed