Irrational Exuberance

Code Life Series Projects

About Archive Tag Cloud Translations RSS

You are writing a comment about Setting Up TLA+ Tools on OS X, here is a quick summary:

A quick walkthrough for setting up the TLA+ tools on OS X.

You are responding to this comment written by Simon Zambrovski on November 18th 2009, 18:22.

Hi Lars,

thanks for the hints. Could you imagine to write a small tutorial for the new TLA+ webpage?

I'm looking for people interste in TLA+ and PlusCal.

Please be aware that comment forms go stale after one hour.

Comments may make use of LifeFlow MarkDown. Raw html will be escaped.

Quick Introduction to LifeFlow MarkDown Syntax

A highlighted code block:

@@ ruby
def a (b, c):
  b * c
end
@@

Other common languages work as well: scheme, python, java, html, etc.

Other markdown syntax:

 ### This is an h3 title
#### This is an h4 title
**this is bold**
*this is italics*

1. This is an
2. ordered list

* And an unordered
* list too

[this is a link](http://www.lethain.com/ "Lethain")

Random Entries

Recent Entries