[03:30:38] <odanoburu> inariksit: hi! I'll check it out!
[05:27:57] *** Quits: odanoburu (uid302941@gateway/web/irccloud.com/x-boqtlseardnwastc) ()
[17:06:47] *** Joins: odanoburu (uid302941@gateway/web/irccloud.com/x-pafqmigsxordllnv)
[17:31:27] <odanoburu> inariksit: I reread part I because I'm still thinking about it
[17:32:01] <odanoburu> I think I now understand fixpoints well enough, and have a better notion of how gftest works
[17:32:29] <odanoburu> but I'd say I still have to do a few passes to understand the posts fully
[17:33:27] <odanoburu> I really appreciated the diagrams :)
[22:26:35] *** Quits: odanoburu (uid302941@gateway/web/irccloud.com/x-pafqmigsxordllnv) (Quit: Connection closed for inactivity)