Add readme

73277fd5 · Camil Staps · 928dda9b · 73277fd5
Verified Commit 73277fd5 authored Oct 31, 2017 by Camil Staps ⚽
Hide whitespace changes
Inline Side-by-side

Showing with 10 additions and 0 deletions

README.md README.md +10 -0

No files found.
--- a/README.md
+++ b/README.md
+# StdEnv-doc
+
+This is an annotated version of [Clean][]'s [StdEnv][] library for use in
+[Cloogle][].
+
+All code is copyright &copy; 1998 University of Nijmegen.
+
+[Clean]: http://clean.cs.ru.nl
+[Cloogle]: https://cloogle.org
+[StdEnv]: https://svn.cs.ru.nl/repos/clean-libraries/trunk/Libraries/StdEnv/