From 002badd98d2ae43fdd93b4227fb8c37ab74531b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= Date: Fri, 23 Feb 2018 12:57:10 +0100 Subject: [PATCH] Update changelog --- CHANGELOG.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index cc79e6c..56020da 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,23 @@ Changelog ========= +Version 1.2.0 +------------- +This version is mainly a huge refactor. + +I've renamed + +* `distrib` to `isDistributive` +* `arrowIsSet` to `arrowsAreSets` +* `ident` to `isIdentity` +* `assoc` to `isAssociative` + +And added "type-synonyms" for all of these. Their names should now match their +type. So e.g. `isDistributive` has type `IsDistributive`. + +I've also changed how names are exported in `Functor` to be in line with +`Category`. + Version 1.1.0 ------------- In this version categories have been refactored - there's now a notion of a raw