From 116a88bc71f3608ff43ed967895743e8b9a340e0 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Mon, 20 Sep 2021 13:37:06 +0200 Subject: [PATCH] Better link to EMSOFT 2021 docs --- readme.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/readme.md b/readme.md index ec8a317f..f8d9ea0a 100644 --- a/readme.md +++ b/readme.md @@ -6,9 +6,10 @@ correctness of a formally verified Lustre compiler This file contains instructions for (i) using the compiler from (ii) a local opam installation. -The `doc/` subdirectory contains a file [index.html](doc/index.html) that -links the definitions in the EMSOFT 2021 article to the corresponding parts -of the Coq source files. +The `doc/` subdirectory contains a file +[index.html](https://velus.inria.fr/emsoft2021/) that links the definitions +in the EMSOFT 2021 article to the corresponding parts of the Coq source +files. The `examples/` subdirectory contains a file [readme.md](examples/readme.md) presenting several example programs that can be used to test the compiler.