NOTE: This library is deprecated, as it has been folded into purescript-group. For free groups in Purescript, use that library.
Free groups in Purescript, inspired by this podcast episode.
hrb90/purescript-free-group
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|