How To Install ghc-logict on Fedora 36

In this tutorial we learn how to install ghc-logict in Fedora 36. ghc-logict is A backtracking logic-programming monad

Introduction

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

What is `ghc-logict`

A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper “Backtracking, Interleaving, and Terminating Monad Transformers”

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

Install ghc-logict 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-logict using dnf by running the following command:

sudo dnf -y install ghc-logict

Install ghc-logict 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-logict using yum by running the following command:

sudo yum -y install ghc-logict

How To Uninstall ghc-logict on Fedora 36

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

sudo dnf remove ghc-logict

ghc-logict Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/1f2a1701b4e51d2ed2f9e5f3b0bb50884005a5
/usr/lib64/libHSlogict-0.7.1.0-5khZfm64sieDrmMC1lUBUp-ghc8.10.5.so
/usr/share/licenses/ghc-logict
/usr/share/licenses/ghc-logict/LICENSE

References

ghc-logict website

Summary

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