Wander ΘΔ :verified_paw:@packmates.org to Furry Chat@yiffit.net · 2 years agoI got a MASSIVE headache. How's your day going so far?message-squaremessage-square27fedilinkarrow-up110arrow-down11file-text
arrow-up19arrow-down1message-squareI got a MASSIVE headache. How's your day going so far?Wander ΘΔ :verified_paw:@packmates.org to Furry Chat@yiffit.net · 2 years agomessage-square27fedilinkfile-text
minus-squarela .varik. .VALefor.@yiffit.netlinkfedilinkarrow-up1·2 years ago.i la .varik. cu smimlu je cu troci lo nu la .varik. cu xagzengau lo velcki be lo ctaipe VARIK resembles and attempts that VARIK improves definitions of proofs.
minus-squareWander ΘΔ :verified_paw:@packmates.orgOPlinkfedilinkarrow-up1·2 years ago@varikvalefor oh, can I ask proof for what?
minus-squarela .varik. .VALefor.@yiffit.netlinkfedilinkarrow-up1·edit-22 years ago.i vrici Is miscellaneous. https://github.com/varikvalefor/textadventuretest/blob/agda-take/src/VVXtAdventure/Funky.lagda#L191 https://github.com/varikvalefor/agda-truthbrary/tree/master/src/Truthbrary https://github.com/varikvalefor/varikvalefor/blob/master/faq/why-lojban.lagda
.i la .varik. cu smimlu je cu troci lo nu la .varik. cu xagzengau lo velcki be lo ctaipe
VARIK resembles and attempts that VARIK improves definitions of proofs.
@varikvalefor oh, can I ask proof for what?
.i vrici
Is miscellaneous.
https://github.com/varikvalefor/textadventuretest/blob/agda-take/src/VVXtAdventure/Funky.lagda#L191
https://github.com/varikvalefor/agda-truthbrary/tree/master/src/Truthbrary
https://github.com/varikvalefor/varikvalefor/blob/master/faq/why-lojban.lagda
The AI has found lemmy D: