From b6aeba62e2bca1cadad325af029a083cd7cf2d8c Mon Sep 17 00:00:00 2001 From: "G. Allais" Date: Fri, 29 Mar 2019 09:04:11 +0000 Subject: [PATCH] Update README.md Accurate description of the dependencies. [ci skip] --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8eea719..de01ddf 100644 --- a/README.md +++ b/README.md @@ -7,4 +7,4 @@ A self-contained repository for the paper [A Scope-and-Type Safe Universe of Syn To check this development, you'll need: * Agda 2.5.4.2 -* Agda's Standard Library 0.18 +* Agda's Standard Library 0.17