This is a package for exploring constructive group theory in Haskell.
Contributions and bug reports are welcome!
Co-maintained by Emily Pillmore (@topos) and Reed Mullanix (@totbwf). Please feel free to contact either myself, or Reed through github or on the #haskell IRC channel on irc.libera.chat.
- Emily