2023-03-19 20:19:43 PDT/-0700 <VarikValefor[m]> ni'o ranji fa le nu la .varik. cu xusra le du'u la .varik. cu troci lo nu la .varik. cu ciska zo'e poi frili fa lo nu jimpe fi ke'a
2023-03-19 20:20:46 PDT/-0700 <xx_xx> <la .varik. .VALefor.>: .i mabla
2023-03-19 22:11:52 PDT/-0700 <EEG_emperor> srana ma
2023-03-19 22:12:38 PDT/-0700 <xx_xx> > VarikValefor[m]: ni'o ranji fa le nu la .varik. cu xusra le du'u la .varik. cu troci lo nu la .varik. cu ciska zo'e poi frili fa lo nu jimpe fi ke'a
2023-03-19 22:12:39 PDT/-0700 <9lnunsne> u'i xu nandu
2023-03-19 22:13:39 PDT/-0700 <VarikValefor[m]> xx_xx: .i suzroi fa lo nu nandu  .i ku'i la .varik. cu troci lo nu mlezvi kei je cu selpu'a lo nu nandu
2023-03-19 22:29:08 PDT/-0700 <lunbe> .i jeu nandu mi .i ma terta'a .i lo vrici cu sinxa .i xu bangu fa .a'ypyly. zo'o rei .ua nai
2023-03-19 22:32:06 PDT/-0700 <VarikValefor[m]> xx_xx: .i srana la'oi .Agda. jenai cu ba'e mutce le ka ce'u srana la'oi .APL.
2023-03-19 23:05:59 PDT/-0700 <VarikValefor[m]> .i cumki fa lo nu la .varik. cu fanva le se .urli be zoi zoi. https://en.wikipedia.org/wiki/Dependent_type .zoi.
2023-03-19 23:07:48 PDT/-0700 <EEG_emperor> ue ue