agda2.8.0+stdlib2.3+0.4412.1 MB
BSD-3-Clause
strict
core24
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 $AGDADIR environment variable is not set, it defaults to $SNAP/agdadir,
which contains
This package is intended to be installed on servers or school labs,
regular users of agda should install in the typical way.
and the source code of the textbook Programming Languages Foundations in Agda.
If the $AGDADIR environment variable is not set, it defaults to $SNAP/agdadir,
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.
Update History
agda2.8.0+stdlib2.3+0.4 (4)13 Dec 2025, 09:47 UTC
22 Jul 2025, 19:19 UTC
28 Aug 2025, 20:18 UTC
13 Dec 2025, 09:47 UTC