will62794/tla-web

Various issues with example spec (see debug console)

Closed this issue · 2 comments

will62794 commented

Just did a bug-fixing pass, and think I ironed out most of the issues in EWD998. See updated version here, with only one minor alteration to work around a remaining issue. Feel free to play around with it and see if you find any more bugs.

lemmy commented

Looks good; thanks for the quick fix.