agda-stdlib-plfa
Install latest/stable of agda-stdlib-plfa
Ubuntu 16.04 or later?
Make sure snap support is enabled in your Desktop store.
Install using the command line
sudo snap install agda-stdlib-plfaDon't have snapd? Get set up for snaps.
Details for agda-stdlib-plfa
Package name
- agda-stdlib-plfa
License
- BSD-3-Clause
Last updated
- 28 August 2025 - latest/stable
Websites
Contact
Source code
Report a bug
External link warning
You are about to open
Do you wish to proceed?
Report a Snap Store violation
Report agda-stdlib-plfa for a Snap Store violation
Snap Store Violation Report submitted successfully
Thank you for your report. Information you provided will help us investigate further.
Error submitting report
There was an error while sending your report. Please try again later.
Share this snap
Generate an embeddable card to be shared on external websites.
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.
| Revision | Channel | Version | Build | Commit | Download SBOM |
|---|
The build and commit information is derived from build infrastructure records.
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.
