Giters
Taneb
/
groups
Group and Abelian group typeclasses
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
6
Issues:
5
Forks:
6
Taneb/groups Issues
Add (transitive) group actions?
Closed
2 years ago
Comments count
2
Abelian could merely require Semigroup
Closed
4 years ago
Comments count
24
Provide changelog?
Closed
3 years ago
Comments count
4
Use base-orphans to have fewer conditional instances?
Updated
4 years ago
Should the superclass for `Abelian` be `Semigroup`?
Closed
4 years ago
Comments count
1