From c6ba4be65bff3d789769fa1b072b55c048064755 Mon Sep 17 00:00:00 2001 From: Aymeric Fromherz Date: Wed, 17 Apr 2024 17:32:26 +0200 Subject: [PATCH] Fix paper link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ea42078..186bd87 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ This library handles dates (`YYYY-MM-DD`) and periods (in days, months and years This library is a work in progress. You can find the library's description in `lib/dates.mli`. There is also a Python implementation (which corresponds to a port of the OCaml implementation). -The full semantics of the library has been formalized and is available in the related ESOP 2024 paper [Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law](Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law). +The full semantics of the library has been formalized and is available in the related ESOP 2024 paper [Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law](https://hal.science/hal-04536403). ## Installation