Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Get rid of Group, with the intention that the groups library is used instead #24

Draft
wants to merge 19 commits into
base: develop
Choose a base branch
from
+10 −65
Draft

Get rid of Group, with the intention that the groups library is used instead #24

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
485c592
Bump reflex platform
Ericson2314 Dec 9, 2020
f6d4c9a
Delete group class, the groups package should be used instead
Ericson2314 Dec 7, 2020
830add4
Move `Additive` to its own module
Ericson2314 Dec 11, 2020
57bdb25
Fix GHC < 8.6 build
Ericson2314 Dec 12, 2020
a9a9af4
Merge remote-tracking branch 'origin/develop' into no-group
Ericson2314 Apr 20, 2021
aacb8a6
Merge branch 'develop' into no-group
Ericson2314 Oct 13, 2021
b3a8b00
Fix typo in change log
Ericson2314 Oct 13, 2021
758a2ae
Merge branch 'module-for-additive' into no-group
Ericson2314 Oct 13, 2021
be84f3e
Merge branch 'module-for-additive' into no-group
Ericson2314 Oct 14, 2021
d8b04b4
Fix issue in change log
Ericson2314 Oct 14, 2021
a463f02
Merge branch 'proper-orphans-dep' into no-group
Ericson2314 Oct 14, 2021
017e012
Merge branch 'proper-orphans-dep' into no-group
Ericson2314 Oct 14, 2021
ab32f6a
Merge branch 'proper-orphans-dep' into no-group
Ericson2314 Nov 17, 2021
fb2af20
Merge branch 'develop' into no-group
Ericson2314 Dec 29, 2021
0f4d634
Actually do need `semialign` / split-these flag
Ericson2314 Jan 2, 2022
d54a334
Mention the `split-these` flag is back
Ericson2314 Jan 7, 2022
512a1bb
Merge remote-tracking branch 'origin/develop' into no-group
Ericson2314 Jun 23, 2022
fc51b29
Merge remote-tracking branch 'origin/develop' into no-group
Ericson2314 Jun 23, 2022
c481166
Merge branch 'develop' into no-group
Ericson2314 Sep 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'origin/develop' into no-group
@Ericson2314
Ericson2314 committed Apr 20, 2021
commit a9a9af4c5ce57ea8d94a6c076623e0ac3d21a985
4 changes: 4 additions & 0 deletions ChangeLog.md
View file
Original file line number Diff line number Diff line change
@@ -18,6 +18,10 @@
* `Additive` now lives in `Data.Semigroup.Additive`, but is still reexported
from `Data.Patch` for compatability.

## 0.0.4.0

* Enable PolyKinds

## 0.0.3.2

* Update version bounds
You are viewing a condensed version of this merge commit. You can view the full changes here.