diff options
Diffstat (limited to 'CHANGELOG/v0.01.md')
-rw-r--r-- | CHANGELOG/v0.01.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/CHANGELOG/v0.01.md b/CHANGELOG/v0.01.md new file mode 100644 index 0000000..e311ae9 --- /dev/null +++ b/CHANGELOG/v0.01.md @@ -0,0 +1,8 @@ +Version 0.1 +=========== + +Version 0.1 of the +["standard" library](http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary) +has now been released. + +The library has been tested using Agda version 2.2.2. |