Skip to content

Commit

Permalink
Remove implemented beginner task
Browse files Browse the repository at this point in the history 
Remove #723 as beginner task on the landing page, as it's (almost) fully implemented
  • Loading branch information
@thpani
thpani committed Mar 9, 2022
1 parent 6a3dd9f commit 81e0de4
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,6 @@ knowing too much about the internals of Apalache. Solving these issues would
improve usability! Please comment in the relevant issue, if you are going to
solve it.

- Rewriting `TypeOK` by knowing types: [#723](https://github.com/informalsystems/apalache/issues/723)
- Writing annotations in the JSON format: [#804](https://github.com/informalsystems/apalache/issues/804)
- Add support for VIEW in the TLC config: [#851](https://github.com/informalsystems/apalache/issues/851)
- Translate `\E x \in STRING: P` and `\A x \in STRING: P`:
Expand Down

0 comments on commit 81e0de4

Please sign in to comment.