GitHub repository: sourtin/TypeSet
Primary language: Haskell
Created: 2020-10-21T18:46:57Z
Description: Abstraction of Set as a typeclass, some theory, and also Fin for good measure...