3 ms·Was I the only one looking for ⊥?by thomasahle 4y agoWas I the only one looking for ⊥?DoctorNick 4y agoYes.dllthomas 4y agoYou were not.kps 4y agoI expected something about type lattice representation.