Wander ΘΔ :verified_paw:@packmates.org to Furry Chat@yiffit.net · 1 year 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 · 1 year agomessage-square27fedilinkfile-text
minus-squarela .varik. .VALefor.@yiffit.netlinkfedilinkarrow-up1·1 year 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·1 year ago@varikvalefor oh, can I ask proof for what?
minus-squarela .varik. .VALefor.@yiffit.netlinkfedilinkarrow-up1·edit-21 year 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: