Long live open source

| -Uncategorized

Just got two e-mailed patches to tla2darcs, a tool I wrote a few
months ago (but have since then forgotten). =) I love open source.

You can comment with Disqus or you can e-mail me at sacha@sachachua.com.