ptek/skeletal-set

A Haskell implementation of a skeletal set - a set equipped with an equivalence relation which is usually different from equality. This makes it more strict regarding membership of elements than a set.

语言：Haskell · GitHub 星标：6 · Fork：1

话题：haskell · set-theory · setoid

在 GitHub 上查看原仓库