update README

Author: flupe

README.md

@@ -1,8 +1,7 @@
 A library for datatype-generic programming in Agda.
 To learn more about the structure of the library, see `README.agda`.
 
-- Tested with Agda 2.6.2.1
-- And Agda's [standard-library] v1.7.1
+Current version `1.0.1` is compatible with Agda 2.6.4.3 and Agda's [standard-library] 2.0.
 
 [standard-library]: https://github.com/agda/agda-stdlib