2023-08-18 21:37:43 PDT/-0700 mi ne sepi'o lo skami cu fanva do'i 2023-08-18 21:39:22 PDT/-0700 : .i lu .i mi pilno lo skami lo nu fanva li'u selneimau fi la .varik. 2023-08-18 21:53:51 PDT/-0700 i'e 2023-08-18 22:16:22 PDT/-0700 dunli 2023-08-18 22:16:36 PDT/-0700 .i sei vlakle se'u cmavo-compound .i ma'oi BAI* selma'o .i lu sepi'o li'u valsi .i sei smuvelcki se'u fi'o se pilno .i sei pinka se'u pilno, pi'o .i finti di'u fa la'oi xorxes 2023-08-18 22:21:04 PDT/-0700 : .i ba'e smudu'i .i lo'u fi'o se le'u na du lo'u se pi'o le'u 2023-08-18 22:21:30 PDT/-0700 uanai 2023-08-18 22:21:51 PDT/-0700 lu fi'o se pilno li'u dunli lu sepi'o li'u 2023-08-18 22:22:30 PDT/-0700 > lu fi'o se pilno li'u dunli lu sepi'o li'u 2023-08-18 22:22:36 PDT/-0700 jbomi'a pei 2023-08-18 22:22:55 PDT/-0700 xu do djuno mau'a te dunli 2023-08-18 22:22:56 PDT/-0700 > ✎ lu fi'o se pilno li'u dunli lu sepi'o li'u 2023-08-18 22:24:06 PDT/-0700 mu'a ji'a lu smudu'i li'u dunli lu dunli fi lo ka makau smuni li'u 2023-08-18 22:24:09 PDT/-0700 > xu do djuno mau'a te dunli 2023-08-18 22:24:10 PDT/-0700 : .i la .varik. cu djuno .i xamsku ja co'e le bebna... je drani 2023-08-18 22:24:37 PDT/-0700 uanaibu'ocu'i drani ma fo ma 2023-08-18 22:25:11 PDT/-0700 > uanaibu'ocu'i drani ma fo ma 2023-08-18 22:25:12 PDT/-0700 : .i le ctaipe be la'oi .String. cu na du le ctaipe be la'oi .String. 2023-08-18 22:25:23 PDT/-0700 .i ku'i ganai xajmi gi mi jimpe 2023-08-18 22:26:26 PDT/-0700 ni'i ma 2023-08-18 22:29:26 PDT/-0700 > ni'i ma 2023-08-18 22:30:14 PDT/-0700 ti na'e bridi 2023-08-18 22:31:11 PDT/-0700 : .i jetnu .i ku'i velcki lo me'oi .Decidable. ke ka dunli kei co'e pe la'oi .String. 2023-08-18 22:31:18 PDT/-0700 : ✎ .i jetnu .i ku'i velcki lo me'oi .Decidable. ke ka dunli kei co'e pe [si be] la'oi .String. 2023-08-18 22:32:41 PDT/-0700 ma te ckini 2023-08-18 22:34:18 PDT/-0700 : .i xu jimpe fi la' 2023-08-18 22:34:22 PDT/-0700 : ✎ .i xu jimpe fi la'oi .Agda. 2023-08-18 22:34:41 PDT/-0700 go'i .i ma te ckini la agdas 2023-08-18 22:37:01 PDT/-0700 > go'i .i ma te ckini la agdas 2023-08-18 22:37:02 PDT/-0700 : .i la'oi .Agda. ckini lo se tcidu ja co'e le su'u zo'e pe la'oi .Agda. cu mapti lo nu facki lo jei lo ctaipe be la'oi .String. cu du lo ctaipe be la'oi .String. noi ke'a se ctaipe lo ro se tcidu ja co'e 2023-08-18 22:38:09 PDT/-0700 : .i smuni dunli .i la .varik. cu mabla bebna darlu 2023-08-18 22:38:18 PDT/-0700 lo jicmu be lo'e bangu cu na'e lerpoi 2023-08-18 22:39:24 PDT/-0700 > lo jicmu be lo'e bangu cu na'e lerpoi 2023-08-18 22:39:25 PDT/-0700 : .i la .varik. cu na toltu'i 2023-08-18 22:39:44 PDT/-0700 > .i smuni dunli .i la .varik. cu mabla bebna darlu 2023-08-18 22:39:45 PDT/-0700 .i zdile mi fa lo nu jbota'a gi'u darlu ja co'e 2023-08-18 22:40:02 PDT/-0700 > .i zdile mi fa lo nu jbota'a gi'u darlu ja co'e 2023-08-18 22:40:03 PDT/-0700 : .i la .varik. cu smimlu 2023-08-18 22:40:40 PDT/-0700 .i ji'a do jbocre gi'eseki'ubo spusku sutra .i pluka mi 2023-08-18 22:41:01 PDT/-0700 > .i ji'a do jbocre gi'eseki'ubo spusku sutra .i pluka mi 2023-08-18 22:41:02 PDT/-0700 : .i la .varik. cu kirsku