From ec1561d3aee0a111f84b8eec5521dd2c8ecad20d Mon Sep 17 00:00:00 2001 From: wadler Date: Fri, 4 May 2018 13:20:02 -0300 Subject: [PATCH] fix to index --- index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.md b/index.md index 2cb6b76e..8b6d476b 100644 --- a/index.md +++ b/index.md @@ -45,7 +45,7 @@ fixes are encouraged. - [StlcProp: Properties of STLC](StlcProp) In progress - - [FreshUnstuck: Generation of fresh names with strings](TypedFresh) + - [FreshUnstuck: Generation of fresh names with strings](FreshUnstuck) - [Typed: Raw terms with types (broken)](Typed) - [TypedFresh: Raw terms with fresh names (broken)](TypedFresh)