The latest version of equivalence is 0.4.1-0.
lib:equivalence
Modules
Dependencies
- STMonadTrans lib:STMonadTrans >=0
- base lib:base >=4 && <5
- containers lib:containers >=0
- mtl lib:mtl >=0
Reverse dependencies
Direct only. Not exhaustive.
- Agda lib:Agda
- acme-everything lib:acme-everything
- ecta lib:ecta
- ecta test:unit-tests
- equivalence test:test