Skip to content

Issues: hwayne/learntla-v2

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
22 Open 29 Closed
22 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

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