2024-03-24 02:28:04 PDT/-0700 : .i coi pendo 2024-03-24 02:36:53 PDT/-0700 coi na'e mlatu be ci'u lo ka murmura 2024-03-24 14:15:51 PDT/-0700 lo nunkei pu zdile mi .i caku ai mi benji lo pamoi pagbu be lo lisri 2024-03-24 20:32:04 PDT/-0700 zo ctaipe ki'a .i ma nabmi tu'a lu la varik cu jarco lo ka xukau ce'u pilno la agdas li'o... li'u 2024-03-24 20:32:05 PDT/-0700 > 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-24 20:32:16 PDT/-0700 ✎ zo ctaipe ki'a .i ma nabmi tu'a lu la varik cu jarco lo ka ce'u pilno la agdas li'o... li'u 2024-03-24 20:32:17 PDT/-0700 > ✎ 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