How To Install ghc-dec on Fedora 36

In this tutorial we learn how to install ghc-dec in Fedora 36. ghc-dec is Decidable propositions

Introduction

In this tutorial we learn how to install ghc-dec on Fedora 36.

What is `ghc-dec`

This package provides a ‘Dec’ type. ’ type Neg a = a -> Void data Dec a = Yes a | No (Neg a) ‘.

We can use yum or dnf to install ghc-dec on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-dec.

Install ghc-dec on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install ghc-dec using dnf by running the following command:

sudo dnf -y install ghc-dec

Install ghc-dec on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install ghc-dec using yum by running the following command:

sudo yum -y install ghc-dec

How To Uninstall ghc-dec on Fedora 36

To uninstall only the ghc-dec package we can use the following command:

sudo dnf remove ghc-dec

ghc-dec Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/d8ad9ee49cce2dfa596f1fc23d23555af84ae5
/usr/lib64/libHSdec-0.0.4-G4OCtY0mNAx8DKRE7fgeSn-ghc8.10.5.so
/usr/share/licenses/ghc-dec
/usr/share/licenses/ghc-dec/LICENSE

References

ghc-dec website

Summary

In this tutorial we learn how to install ghc-dec on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).