@hackage / equivalence

Maintaining an equivalence relation implemented as union-find using STT.

0.4.1.1

Dependents

@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: 2.8.0
- Last uploaded: 2 months ago
- License: MIT
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / ecta
- Version: 1.0.0.3
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / microecta Small equality-constrained tree automata core
- Version: 0.1.0.0
- Last uploaded: 2 weeks ago
- License: BSD-3-Clause