top | item 25169550 (no title) edjrage | 5 years ago "Why is dependent type theory more suitable than set theory for proof assistants?” has 80 characters, which seems to be exactly HN's limit. discuss order hn newest pgustafs|5 years ago Yep, that would be a better rewording. I missed it in my search for a <80 character title. dang|5 years ago Nicely done. Changed now. Thanks!
pgustafs|5 years ago Yep, that would be a better rewording. I missed it in my search for a <80 character title.
pgustafs|5 years ago
dang|5 years ago