How To Install dhall on Fedora 34

dhall is A configuration language guaranteed to terminate

Introduction

In this tutorial we learn how to install dhall on Fedora 34.

What is `dhall`

Dhall is an explicitly typed configuration language that is not Turing complete. Despite being Turing incomplete, Dhall is a real programming language with a type-checker and evaluator. Use this library to parse, type-check, evaluate, and pretty-print the Dhall configuration language. This package also includes an executable which type-checks a Dhall file and reduces the file to a fully evaluated normal form. Read “Dhall.Tutorial” to learn how to use this library.

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

Install dhall on Fedora 34 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

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

sudo dnf -y install dhall

Install dhall on Fedora 34 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

Fedora 34 - x86_64                               20 kB/s | 6.6 kB     00:00
Fedora 34 openh264 (From Cisco) - x86_64        1.4 kB/s | 989  B     00:00
Fedora Modular 34 - x86_64                       68 kB/s | 6.5 kB     00:00
Fedora 34 - x86_64 - Updates                    3.5 kB/s | 6.2 kB     00:01
Fedora Modular 34 - x86_64 - Updates             17 kB/s | 5.9 kB     00:00
Metadata cache created.

After updating yum database, We can install dhall using yum by running the following command:

sudo yum -y install dhall

How To Uninstall dhall on Fedora 34

To uninstall only the dhall package we can use the following command:

sudo dnf remove dhall

dhall Package Contents on Fedora 34

/usr/bin/dhall
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/f6a1524c63f91771be39346cbfbe0175c2ca92
/usr/share/bash-completion/completions/dhall
/usr/share/doc/dhall
/usr/share/doc/dhall/CHANGELOG.md
/usr/share/licenses/dhall
/usr/share/licenses/dhall/LICENSE
/usr/share/man/man1/dhall.1.gz

References

dhall website

Summary

In this tutorial we learn how to install dhall on Fedora 34 using yum and dnf.