Very nice. I really appreciate you placing TLA+ in context with alternate approaches. I look forward to seeing the followup posts. PS: How are you generating t

Very nice. I really appreciate you placing TLA+ in context with alternate approaches. I look forward to seeing the followup posts. PS: How are you generating these pages? Jekyll? something else? EDIT: This probably needs editing -- "nor will reading the posts will not teach you how to write good specifications;" I think you probably meant to write "nor will reading the posts teach you how to write good specifications;"