I came away with the insight that there are a lot more people out there like me: people who want to be better at mathematics but don’t quite know how to get there. People who are technically minded and have keen domain knowledge, but are lacking the proof side of things.
This is exactly me and I'm so, so, so very excited to read this book. A huge thank you for repeatedly writing on niche topics—from Type-Level Haskell chicanery to denotational design—that seem to be surgically targeting my interests. Sorry again for the ersatz issue—but I wanted to thank you and let you know that your work is exquisite and greatly appreciated!
Sorry, just kidding!
This is exactly me and I'm so, so, so very excited to read this book. A huge thank you for repeatedly writing on niche topics—from Type-Level Haskell chicanery to denotational design—that seem to be surgically targeting my interests. Sorry again for the ersatz issue—but I wanted to thank you and let you know that your work is exquisite and greatly appreciated!
If I open another issue, it will be in earnest! 🙇
Take care!