acmenitter
Stephen Diehl
@smdiehl
7h
Did anyone purchase the new PROGRAM = PROOF text? Worth getting?
7:29 PM · Jan 18, 2021
8
0
16
Nick Pollard
@Nick_enGB
7h
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
Stephen Diehl
@smdiehl
7h
Thanks. Hopefully it's the first of many Agda books. 😉
0
0
0
Armando Santos
@_bolt12
7h
Replying to
@smdiehl
I did, it's pretty good!
1
0
1
Stephen Diehl
@smdiehl
7h
Perfect, that's all I need. Thanks!
0
0
1
Tim Put
@Tim_Put
7h
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
Colin
@Colin73779724
7h
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
Stephen Diehl
@smdiehl
6h
Lovely, I just bought it too. I'm still at intermediate Agda though tbh.
0
0
0
G_865B_ll
@865bLl
6h
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
haroldcarr
@haroldcarr
6h
Replying to
@smdiehl
lix.polytechnique.fr/Labo/Sa…
0
0
2
Load more