English Computing Dictionary
◊ OBJ0
OBJ0
Tardo. Based on unsorted equational logic.
 obi-wan error  obj  obj0  obj2  obj3