Skip to content

Issues: hwayne/learntla-v2

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

24 Open 29 Closed
24 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Integrate the TLA+ Web explorer
#89 opened Nov 12, 2024 by hwayne
Let user choose between p- and c- syntax
#88 opened Nov 12, 2024 by hwayne
Invariant checking doesn't work (?)
#84 opened Apr 25, 2024 by thanhnguyen2187
1
Port learntla text to VSCode
#83 opened Apr 2, 2024 by sishtiaq
6
text seems to silently swap between examples
#82 opened Mar 22, 2024 by keithb-coop
Duplication checker: itself self-explanatory, text around it confusing
#81 opened Mar 22, 2024 by keithb-coop
Vocabulary
#80 opened Mar 22, 2024 by keithb-coop
2
Typo in the number of functions when explaining function sets?
#77 opened Jan 28, 2024 by all-seeing-code
1
Update sphinx from 4.4.0 to 7.2.2
#76 opened Aug 17, 2023 by hwayne
Warn that a set has to be symmetric when it is declared symmetric
#75 opened Aug 9, 2023 by lemmy
Mention operator re-definitions
#74 opened Aug 9, 2023 by lemmy
Java module overrides are hard
#73 opened Aug 9, 2023 by lemmy
Reduce memory allocation Windows issue
#72 opened Aug 9, 2023 by lemmy
Consider mentioning TLAPS in "Refactor Properties"
#71 opened Aug 9, 2023 by lemmy
feature request: pluscal/tla cheatsheet
#68 opened Jul 28, 2023 by acud
2
feature request: all images should be clickable
#67 opened Jul 23, 2023 by acud
5
Structured data chapter improvements
#63 opened Jul 15, 2023 by acud
Improvements to Operators and Value chapter
#60 opened Jul 10, 2023 by acud
Feature Request: eBook build target
#50 opened Dec 20, 2022 by rljacobson
2
clarification on model checking completion vs. system termination
#46 opened Nov 25, 2022 by cwlucas41
confusion about labels in overview -> specification
#44 opened Nov 24, 2022 by cwlucas41
1
Come up with good exercises
#43 opened Nov 18, 2022 by hwayne
1
Ever checked the https://lamport.azurewebsites.net/tla/practical-tla.html?
#40 opened Oct 13, 2022 by leiless
2
A set of suggestions and confusing bits
#37 opened Aug 23, 2022 by kkredit
3
ProTip! Find all open issues with in progress development work with linked:pr.