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.

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