From 93db402350ae1f12509fcdec0db60ee08036b293 Mon Sep 17 00:00:00 2001 From: IOHK Web Development user <55990349+iohkwebdev@users.noreply.github.com> Date: Thu, 3 Dec 2020 16:09:34 +0000 Subject: [PATCH] Update 2020-12-01_09-00-00_comingsoon-en.md --- .../content/articles/en/2020-12-01_09-00-00_comingsoon-en.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/content/articles/en/2020-12-01_09-00-00_comingsoon-en.md b/resources/content/articles/en/2020-12-01_09-00-00_comingsoon-en.md index ede44128d..188f614eb 100644 --- a/resources/content/articles/en/2020-12-01_09-00-00_comingsoon-en.md +++ b/resources/content/articles/en/2020-12-01_09-00-00_comingsoon-en.md @@ -17,4 +17,4 @@ To this end, we are restarting and accelerating the K Ethereum Virtual Machine ( K enables developers to define or implement the formal semantics of a programming language in an intuitive and modular way. K also generates an executable, 'correct by construction VM' from its formal specification, which is fast and powerful enough to run real programs and smart contracts. Long term, in partnership with our friends at Runtime Verification, we want to build a K environment where we can just 'plug-and-play' new VMs. -We’ll be expanding these pages over the weeks and months ahead; [take our short survey](https://input-output.typeform.com/c/OJsf0XcD) to be kept informed of all the latest updates. +Please note, we have reatined older documentation here for reference purposes only; this will be refreshed and updated shortly. Please [take our short survey](https://input-output.typeform.com/c/OJsf0XcD) to be kept informed of all the latest updates.