Skip to content

Commit

Permalink
Better link to EMSOFT 2021 docs
Browse files Browse the repository at this point in the history
  • Loading branch information
@tbrk
tbrk committed Sep 20, 2021
1 parent bb3a897 commit 116a88b
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions readme.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 116a88b

Please sign in to comment.