bendisposto/evalB — pull request #3 by dohan (2012-05-23 15:02:23+00:00)
Title: Tla

2 examples and the first part of the tla syntax description