diff options
Diffstat (limited to 'site/posts/StronglySpecifiedFunctions.org')
-rw-r--r-- | site/posts/StronglySpecifiedFunctions.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/posts/StronglySpecifiedFunctions.org b/site/posts/StronglySpecifiedFunctions.org index 83148c6..4a608c7 100644 --- a/site/posts/StronglySpecifiedFunctions.org +++ b/site/posts/StronglySpecifiedFunctions.org @@ -1,6 +1,6 @@ #+TITLE: A Series on Strongly-Specified Functions in Coq -#+SERIES: ../coq.html +#+SERIES: ./coq.html #+SERIES_NEXT: ./Ltac.html Using dependent types and the ~Prop~ sort, it becomes possible to specify |