Did anyone purchase the new PROGRAM = PROOF text? Worth getting?

7:29 PM · Jan 18, 2021

8
0
16
Replying to @smdiehl
I did, but I haven't got very far into it yet. Will give you more thoughts once I do.
1
0
0
Thanks. Hopefully it's the first of many Agda books. 😉
0
0
0
Replying to @smdiehl
I did, it's pretty good!
1
0
1
Perfect, that's all I need. Thanks!
0
0
1
Replying to @smdiehl
I'm reading the freely available PDF. So far, modulo some typos, it's very clearly written and I'm enjoying it. I haven't gotten to the good stuff (ch8 Dependant types and ch9 Homotopy types) yet though.
0
0
2
Replying to @smdiehl
I've found it to be great as a first formal introduction to a lot of the ideas, so well worth it for me at least.
1
0
2
Lovely, I just bought it too. I'm still at intermediate Agda though tbh.
0
0
0
Replying to @smdiehl
Yes! Very straightforward and tutorial like. Really good exercises. For the theoretical more hardcore notions of HTT look elsewhere.
0
0
1