[02:33:58] *** Quits: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Ping timeout: 256 seconds) [02:46:43] *** Joins: proteusguy (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) [09:51:27] daherb: nice! I'll link that from my blog post about dependent types in gf ^^ [09:52:37] inariksit: if you want you can give me some feedback what could be improved [12:23:43] *** Joins: proteus-guy (~proteus-l@2001:44c8:4602:46eb:8598:d244:f1ab:2f47) [16:10:12] *** Quits: proteus-guy (~proteus-l@2001:44c8:4602:46eb:8598:d244:f1ab:2f47) (Ping timeout: 260 seconds) [16:22:35] *** Joins: proteus-guy (~proteus-l@2001:44c8:4602:21bd:8598:d244:f1ab:2f47) [17:05:02] *** Quits: proteus-guy (~proteus-l@2001:44c8:4602:21bd:8598:d244:f1ab:2f47) (Ping timeout: 260 seconds) [18:09:52] *** Joins: proteus-guy (~proteus-l@2001:44c8:4605:8b9a:99f:f476:5869:35f3) [19:25:37] *** Quits: proteus-guy (~proteus-l@2001:44c8:4605:8b9a:99f:f476:5869:35f3) (Ping timeout: 260 seconds)