2017-01-13 01:48:01 PST/-0800 <^^^^> <03gleki>: mensi: doi clakre mi na sazri lo cripu pe la diskord i mi sazri zo'ei la slak e la telegram i ji'a mi pu sazri zo'ei la giter i ku'i je no ji'i da pilno 2017-01-13 01:48:02 PST/-0800 03gleki: mi ba benji di'u ba lo nu la'o gy.clakre.gy. di'a cusku da 2017-01-13 07:44:40 PST/-0800 .oi lo jibri pe mi cu mabla mabla mabla 2017-01-13 07:46:46 PST/-0800 <^^^^> <11uakci>: to e'o klama la jbosnu toi 2017-01-13 07:46:49 PST/-0800 .a'u nai ui nai 2017-01-13 07:46:56 PST/-0800 .i mi ca citka 2017-01-13 07:46:59 PST/-0800 .i na zifre 2017-01-13 07:47:08 PST/-0800 .i zifre ke po'o lo ka ze'i patsku 2017-01-13 07:47:36 PST/-0800 <^^^^> <11uakci>: i ko mensi zei doi zei skicu lo do jibri mi calonu zifre 2017-01-13 10:27:03 PST/-0800 coi la ilmen 2017-01-13 10:46:25 PST/-0800 .i mi na smuni 2017-01-13 17:21:33 PST/-0800 <^^^^> <09jelca>: .i coi jbopre .i mi tatpi je cu pinxe lo birje 2017-01-13 17:23:30 PST/-0800 coi .i lo mi samselpla cu se zarcpa .ui 2017-01-13 17:26:19 PST/-0800 .i mi tcidu fi lo brauzero 2017-01-13 17:26:20 PST/-0800 clakre: cu'u la'o gy.03gleki.gy.: mi na sazri lo cripu pe la diskord i mi sazri zo'ei la slak e la telegram i ji'a mi pu sazri zo'ei la giter i ku'i je no ji'i da pilno | 2017-01-13T09:48:00. 2017-01-13 17:26:49 PST/-0800 <^^^^> <09jelca>: .i cinri .i na se slabu la'oi ldris 2017-01-13 17:27:58 PST/-0800 la'oi idris cu mutce cinri pe'u gi'e simsa la xaskel 2017-01-13 17:28:59 PST/-0800 .i la'e zoi gy. dependent types .gy cu plixau je cinri 2017-01-13 17:29:47 PST/-0800 <^^^^> <09jelca>: .i .ie mi na djuno fi la xaskel .i ku'i la'oi ocaml cu se slabu mi je cu simsa la'oi idris 2017-01-13 17:30:23 PST/-0800 <^^^^> > " .i la'e zoi gy. dependent types .gy cu plixau je cinri" 2017-01-13 17:30:25 PST/-0800 <^^^^> <09jelca>: .i ji'a na se slabu mi .i mi ba tcidu 2017-01-13 17:31:27 PST/-0800 <^^^^> <09jelca>: .i .ua .i cinri 2017-01-13 17:36:28 PST/-0800 .ie .iku'i sipna .ei .i co'o 2017-01-13 17:44:00 PST/-0800 <^^^^> <09jelca>: .i co'o .i mi ji'a sipna .i co'o sai 2017-01-13 22:36:01 PST/-0800 * nuzba @cunsku: #lojban i me'ei mi'o na detri ku lafti co gutra da'ai jo bi mi'a ku'u da'ai [http://bit.ly/2jhwoQo]