Installlion's Logo

Installlion.com

How To Install agda on stretch

To install agda just follow these instructions.

Install agda

dependently typed functional programming language Debian 9.0 misc 2.5.1.1-3

sudo apt-get install agda

Which will install agda and any other packages on which it depends.

Package Data

Package agda
Version 2.5.1.1-3
Maintainer Debian Haskell Group
Description dependently typed functional programming language
Distro debian
Release stretch
Repo main
Section misc

Dependencies