How To Install ghc-djinn-ghc on Fedora 36

In this tutorial we learn how to install ghc-djinn-ghc in Fedora 36. ghc-djinn-ghc is Generate Haskell code from a type. Bridge from Djinn to GHC API

Introduction

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

What is `ghc-djinn-ghc`

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is the bridge from djinn-lib to GHC API.

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

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

sudo dnf -y install ghc-djinn-ghc

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

sudo yum -y install ghc-djinn-ghc

How To Uninstall ghc-djinn-ghc on Fedora 36

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

sudo dnf remove ghc-djinn-ghc

ghc-djinn-ghc Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/74
/usr/lib/.build-id/74/84c06aba319254915eba1732f4390149b7c01e
/usr/lib64/libHSdjinn-ghc-0.0.2.3-H2rb1VIOBT395w6HvAwxcs-ghc8.10.5.so
/usr/share/licenses/ghc-djinn-ghc
/usr/share/licenses/ghc-djinn-ghc/LICENSE

References

ghc-djinn-ghc website

Summary

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