Search results

Integrate the TLA+ Web explorer

Status: Open.

#89 In hwayne/learntla-v2;

· hwayne opened on Nov 12, 2024

Let user choose between p- and c- syntax

Status: Open.

#88 In hwayne/learntla-v2;

· hwayne opened on Nov 12, 2024

Invariant checking doesn't work (?)

Status: Open.

#84 In hwayne/learntla-v2;

· thanhnguyen2187 opened on Apr 25, 2024

Port learntla text to VSCode

Status: Open.

#83 In hwayne/learntla-v2;

· sishtiaq opened on Apr 2, 2024

text seems to silently swap between examples

Status: Open.

#82 In hwayne/learntla-v2;

· keithb-coop opened on Mar 22, 2024

Duplication checker: itself self-explanatory, text around it confusing

Status: Open.

#81 In hwayne/learntla-v2;

· keithb-coop opened on Mar 22, 2024

Vocabulary

Status: Open.

#80 In hwayne/learntla-v2;

· keithb-coop opened on Mar 22, 2024

Typo in the number of functions when explaining function sets?

Status: Open.

#77 In hwayne/learntla-v2;

· all-seeing-code opened on Jan 28, 2024

Update sphinx from 4.4.0 to 7.2.2

Status: Open.

#76 In hwayne/learntla-v2;

· hwayne opened on Aug 17, 2023

Warn that a set has to be symmetric when it is declared symmetric

Status: Open.

#75 In hwayne/learntla-v2;

· lemmy opened on Aug 9, 2023

Mention operator re-definitions

Status: Open.

#74 In hwayne/learntla-v2;

· lemmy opened on Aug 9, 2023

Java module overrides are hard

Status: Open.

#73 In hwayne/learntla-v2;

· lemmy opened on Aug 9, 2023