The latest version of equivalence is 0.4.1-0.
lib:equivalence
Modules
Dependencies
- STMonadTrans lib:STMonadTrans >=0.4.3
- base lib:base >=4 && <4.12
- containers lib:containers >=0
- mtl lib:mtl >=2.2.1 && <2.3
- transformers lib:transformers >=0.2 && <0.6
- transformers-compat lib:transformers-compat >=0.3
Reverse dependencies
Direct only. Not exhaustive.
- Agda lib:Agda
- acme-everything lib:acme-everything
- ecta lib:ecta
- ecta test:unit-tests
- equivalence test:test