From 81e0de4556c188c3367bc858b4b4b087c166f862 Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Wed, 9 Mar 2022 09:18:50 +0100 Subject: [PATCH] Remove implemented beginner task Remove #723 as beginner task on the landing page, as it's (almost) fully implemented --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index da603df765..0dba874e0f 100644 --- a/README.md +++ b/README.md @@ -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`: