Skip to content

Commit

Permalink
Add changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
@phile314
phile314 committed Aug 2, 2016
1 parent a60926d commit 72d180f
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions CHANGELOG.md
View file
@@ -0,0 +1,12 @@
XX.YY (what is the next/current version?)
=========================================

- IO

All File related functions have been moved to the System.File module.
New modules for handling file paths (System.FilePath) and
directories (System.Directory) have been added.

The exitWith function has been added.

The Bytes type has been added.

2 comments on commit 72d180f

@phile314
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@UlfNorell Does agda-prelude have version numbers yet?

@UlfNorell
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No, I've got different branches for different Agda versions. Might not be a bad idea to do a proper numbered release though.

Please sign in to comment.