Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The current state of TLA⁺ development. Parent comment
do you cover all of that TLA can do??
TLA syntax is simply a pain to type on my keyboard and it has been a hurdle for the longest time...
There are no comments on this comment yet.
do you cover all of that TLA can do??
TLA syntax is simply a pain to type on my keyboard and it has been a hurdle for the longest time...