I'd assume the book has probably been in the works for a while. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

nmrm2 on May 13, 2015 | parent | context | favorite | on: The TLA+ Hyperbook

I'd assume the book has probably been in the works for a while.

abhinavg on May 13, 2015 [–]

It has been around for a while, but I agree that hundreds of cross-linked PDFs is not the most accessible format.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact