UbuntuUpdates.org

Package "libghc-agda-doc"

Name: libghc-agda-doc

Description:

dependently typed functional programming language; documentation

Latest version: 2.6.0.1-1build4
Release: focal (20.04)
Level: base
Repository: universe
Head package: agda
Homepage: http://wiki.portal.chalmers.se/agda/

Links


Download "libghc-agda-doc"


Other versions of "libghc-agda-doc" in Focal

No other version of this package is available in the Focal release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates