Sepehr

Hello, I noticed the word "flag" after the intended flag is formatted as inline code. Chapter 18, Introduction to Paging: Question 1:  Question 2:  In contrast, the word...

Hello, When running the website locally and using the "T" key for tags, the redirection does not work. The path to `/tags` is hardcoded to `https` and does not have...

Parsing Error Defaulting to CHOOSE

1

When parsing the following, the parser correctly throws an error, but the error message notes that a `CHOOSE` expression is expected. Not sure if there is a right default, but...

When an undefined operator is called after the `>=`, the parser blames the `>` when it expected `]`. The actual issue is the undefined operation used. MRE ```TLA EXTENDS Sequences,...