Commit f8012caa authored by Léo Stefanesco's avatar Léo Stefanesco

Fix dead link in

parent a6257e34
......@@ -34,7 +34,7 @@ This repository contains the following case studies:
* [barrier](theories/barrier): Implementation and proof of a barrier as
described in ["Higher-Order Ghost State"](
* [logrel](logrel): Logical relations.
* [logrel](theories/logrel): Logical relations.
- [logrel/stlc](theories/logrel/stlc): A unary logical relation for semantic
typing STLC (simply-typed lambda calculus) with De Bruijn indices (using
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment