FedSearch
Daniel Axtens · @daxtens
204 followers · 331 posts · Server ozlabs.house

Looks like I will get to use / for something real at work. Excitement!

#tlaplus #pluscal

Last updated 2 years ago
Original post

Q · @masterq
110 followers · 6513 posts · Server pawoo.net

TLA+の達人、皆 書いてから変換しているのか気になります。。。

#pluscal

Last updated 7 years ago
Original post

Q · @masterq
110 followers · 6513 posts · Server pawoo.net

なんだろう、、、 書くんだったらSPINで良くないですか。。。 +

#tla #pluscal

Last updated 7 years ago
Original post