k0001

In the book's Twitter account @atopbook you can find a good number of comments about the book: https://twitter.com/atopbook

Thank you for your kind words! And I am happy you appreciate it so much :)

I think you have some very interesting ideas, thank you for your feedback. I'll be improving the sign-up process taking these comments into account :)

I just made some changes that should make this clear. Thank you for sharing your thoughts on this!

Thank you! I am glad you are enjoying it :)

Thanks for your input. The email address is so that you can login afterwards, whenever there are new book chapters to be read. I'll clarify this, thanks!

Thank you for your input. I'm sorry you felt this, I'll try to improve the user experience. I'll appreciate any ideas you may have about how to improve this.

I am glad you enjoyed what you read, though :)

Hi, I'm the author of the book. Thanks for your input :)

The book is not free, this is not a paywall, and it's not a subscription: You are buying early access to the book so that you can start reading it before I am finished writing it. As soon as the book is complete, you also get an official digital copy of the entire book (PDF, mobi, epub, etc). The book is growing quite rapidly, it's currently over 50000 words covering many topics, so far mostly related to type-level reasoning. I will be adding a table of contents soon.