HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by thomasahle | Hacker News Reader
Parent
Full thread
thomasahle
·
Was I the only one looking for ⊥?
View on HN
dllthomas
·
You were not.
kps
·
I expected something about type lattice representation.
DoctorNick
·
Yes.
Reply on news.ycombinator.com