2024-03-23 02:00:59 PDT/-0700 <xx_xx> <la kanba>: .i coi
2024-03-23 02:03:24 PDT/-0700 <la.loblat.> coi la kanba
2024-03-23 02:03:35 PDT/-0700 <la.loblat.> .i ma nuzba
2024-03-23 02:15:50 PDT/-0700 <EEG_emperor> coi se besna
2024-03-23 03:00:41 PDT/-0700 <xx_xx> <la kanba>: .i mi cidja terve'u
2024-03-23 23:04:46 PDT/-0700 <xx_xx> <la .varik. .VALefor.>: ni'o la .varik. cu ciksi le ctaipe be le su'u vo'a pilno la'oi .Agda. kei fo le se .urli be zoi .urli. https://github.com/varikvalefor/varikvalefor/blob/master/faq/why-agda.lagda .urli... be'o noi cumki fa lo nu ke'a cinri
2024-03-23 23:47:01 PDT/-0700 <xx_xx> > ni'o la .varik. cu ciksi le ctaipe be le su'u vo'a pilno la'oi .Agda. kei fo le se .urli be zoi .urli. https://github.com/varikvalefor/varikvalefor/blob/master/faq/why-agda.lagda .urli... be'o noi cumki fa lo nu ke'a cinri
2024-03-23 23:53:39 PDT/-0700 <xx_xx> .i na cadga fi la .varik.