This package provides a Dec type for decidable (nullary) relations.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Installed Size: 170.0 kB
Architectures: amd64 arm64