diff options
author | Iain Lane <iain@orangesquash.org.uk> | 2014-08-05 09:11:47 +0100 |
---|---|---|
committer | Iain Lane <iain@orangesquash.org.uk> | 2014-08-05 09:11:47 +0100 |
commit | 84d43131c1027130bd54e74a699fd1132cda66de (patch) | |
tree | 5f0cb3f183c8109d9c8d659219d3b02cb3cf649a /README.md | |
parent | 6d5228941fe84e810ba3e49cd3f2bbee902bdeef (diff) |
Imported Upstream version 0.8
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..9100ee8 --- /dev/null +++ b/README.md @@ -0,0 +1,6 @@ +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 |