undefined | Better HN

0 pointsedjrage5y ago0 comments

"Why is dependent type theory more suitable than set theory for proof assistants?” has 80 characters, which seems to be exactly HN's limit.

0 comments

2 comments · 2 top-level

Yep, that would be a better rewording. I missed it in my search for a <80 character title.

dang5y ago

Nicely done. Changed now. Thanks!

j / k navigate · click thread line to collapse