purescript-free-group

December 28, 2017 · View on GitHub

NOTE: This library is deprecated, as it has been folded into purescript-group. For free groups in Purescript, use that library.