diff options
author | Iain Lane <laney@debian.org> | 2016-01-04 12:16:09 +0000 |
---|---|---|
committer | Iain Lane <laney@debian.org> | 2016-01-04 12:16:09 +0000 |
commit | 22d7b46b012db080c7e94b064eef55fc25b31eac (patch) | |
tree | 19c84f6224d9f6a6e83cb1212fc59db83ac137bc /README.md | |
parent | b3062540c75ca1709430c5edc76f4d0de85a8d2d (diff) |
Imported Upstream version 0.11
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,4 +3,4 @@ agda-stdlib The Agda standard library. You can browse the source in glorious clickable html here: -http://agda.github.io/agda-stdlib/html/README.html +https://agda.github.io/agda-stdlib/README.html |