Fix typo in CPU assignment example (#99)

fix: typo in conceptual-overview.rst (#93)

Update build.yml to use /upload-artifact@v4

fix small typo (#90)

Fix link to Apalache Language Reference Manual (#87)

Fix Apalache links (#86)

Merge branch 'master' of https://github.com/hwayne/learntla-v2

Fix minor error in duplicates spec

typo: missing "]" in Summary section (#85)

Add some code examples to the standard modules (#78)

Merge branch 'master' of https://github.com/hwayne/learntla-v2

Fix formatting bug in the pluscal chapter

Correct set names in optimization.rst (#79)

Create LICENSE

Fixes for simple typos (#70)