[08:43:46] *** Quits: proteus-guy (~proteus-l@cm-58-10-208-180.revip7.asianet.co.th) (Remote host closed the connection)
[16:52:32] *** Joins: proteus-guy (~proteus-l@2403:6200:8964:76d:81c9:388b:95e2:8a53)
[20:16:20] <inariksit> I wrote a new post: https://inariksit.github.io/gf/2020/05/14/agreement-1.html
[20:58:27] <daherb> inariksit: cool
[23:32:41] <daherb> i guess i could link it to my students. it's pretty much one of the things i have to explain anyway