[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TLA+ wikipedia article

Looks some (anonymous) person was busy creating a new TLA+ Wikipedia article yesterday, April 26th: https://en.wikipedia.org/w/index.php?title=TLA%2B&action="">

Was it anyone here? Writing the article has been on my plate for a while but never got around to it. I'm interested in contributing but don't want to step all over your drafts.