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.
You are about to open
Do you wish to proceed?
Thank you for your report. Information you provided will help us investigate further.
There was an error while sending your report. Please try again later.
Generate an embeddable card to be shared on external websites.
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.
Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.
