---
title: Install agda-stdlib-plfa on Linux | Snap Store
description: 'Get the latest version of agda-stdlib-plfa for Linux - Agda: a dependently
  typed functional programming language'
url: https://snapcraft.io/agda-stdlib-plfa
---

# agda-stdlib-plfa

[Joseph Eremondi (jeremondi-uregina)](https://snapcraft.io/publisher/jeremondi-uregina "View all snaps from Joseph Eremondi (jeremondi-uregina)")

* [Joseph Eremondi (jeremondi-uregina)](https://snapcraft.io/publisher/jeremondi-uregina "View all snaps from Joseph Eremondi (jeremondi-uregina)")
* [Development](https://snapcraft.io/search?categories=development)
* [Education](https://snapcraft.io/search?categories=education)

latest/stable agda2.8.0+stdlib2.3+0.4

Install latest/stable of agda-stdlib-plfa

---

**Install using the command line**

```
sudo snap install agda-stdlib-plfa
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### Package name

* agda-stdlib-plfa

---

### License

* BSD-3-Clause

---

### Last updated

* 28 August 2025 - latest/stable

---

### Websites

* [agda.readthedocs.io](https://agda.readthedocs.io/en/v2.8.0/ "https://agda.readthedocs.io/en/v2.8.0/")

---

### Contact

* [eremondi.com](https://eremondi.com "https://eremondi.com")

---

### Source code

* [github.com/agda](https://github.com/agda "https://github.com/agda")
* [github.com/JoeyEremondi/agda-snap](https://github.com/JoeyEremondi/agda-snap "https://github.com/JoeyEremondi/agda-snap")

---

### Report a bug

* [github.com/JoeyEremondi/agda-snap/issues](https://github.com/JoeyEremondi/agda-snap/issues "https://github.com/JoeyEremondi/agda-snap/issues")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/agda-stdlib-plfa#report-snap-modal)

---

* [Description](https://snapcraft.io/agda-stdlib-plfa#tab-description)
* [Security](https://snapcraft.io/agda-stdlib-plfa#tab-security)

#### Agda: a dependently typed functional programming language

Agda is a dependently typed programming language. This snap packages the Agda compiler, the Agda standard library,
and the source code of the textbook Programming Languages Foundations in Agda.
If the $AGDA\_DIR environment variable is not set, it defaults to $SNAP/agda\_dir,
which contains `libraries` and `defaults` files referencing stdlib and plfa.
This package is intended to be installed on servers or school labs,
regular users of agda should install in the typical way.

---

## Install agda-stdlib-plfa on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the [installing snapd documentation](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/agda-stdlib-plfa/arch)

[### CentOS](https://snapcraft.io/install/agda-stdlib-plfa/centos)

[### Debian](https://snapcraft.io/install/agda-stdlib-plfa/debian)

[### elementary OS](https://snapcraft.io/install/agda-stdlib-plfa/elementary)

[### Fedora](https://snapcraft.io/install/agda-stdlib-plfa/fedora)

[### KDE Neon](https://snapcraft.io/install/agda-stdlib-plfa/kde-neon)

[### Kubuntu](https://snapcraft.io/install/agda-stdlib-plfa/kubuntu)

[### Manjaro](https://snapcraft.io/install/agda-stdlib-plfa/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/agda-stdlib-plfa/pop)

[### openSUSE](https://snapcraft.io/install/agda-stdlib-plfa/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/agda-stdlib-plfa/rhel)

[### Ubuntu](https://snapcraft.io/install/agda-stdlib-plfa/ubuntu)