BSD Portsdevel/hs-dec 0.0.6nb3 NetBSD
Decidable propositions
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- modified-bsd
- Categories
- devel
- Package size
- 57.7 KiB, 309.0 KiB installed
Description
This package provides a Dec type.
type Neg a = a -> Void
data Dec a = Yes a | No (Neg a)
Install
Binary package:
pkgin install hs-decFrom pkgsrc:
cd /usr/pkgsrc/devel/hs-dec && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 0.0.6nb3 |
| NetBSD 10.1 aarch64 | 0.0.6nb3 |
| SmartOS / illumos x86_64 | 0.0.6nb3 |
| macOS 15 arm64 | 0.0.6nb3 |