Update README.md

Accurate description of the dependencies. [ci skip]
gallais · Mar 29, 2019 · b6aeba6 · b6aeba6
1 parent 614396e
commit b6aeba6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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