Source Package: agda-stdlib (2.1-4)
Links for agda-stdlib
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- agda-stdlib
- libreria standard per Agda
- agda-stdlib-doc
- libreria standard per Agda - documentazione
Other Packages Related to agda-stdlib
-
- adep:
debhelper-compat
(= 12)
- Package not available
-
- adep:
ghc
(>= 9.6)
- sistema di compilazione Haskell Glasgow
-
- adep:
agda-bin
(>= 2.6.4.3)
- interfaccia a riga di comando per Agda
-
- adep:
agda-bin
(<< 2.6.4.4~)
- interfaccia a riga di comando per Agda
-
- adep:
libghc-agda-dev
(>= 2.6.4.3)
- linguaggio di programmazione funzionale tipizzato in modo dipendente
-
- adep:
libghc-agda-dev
(<< 2.6.4.4~)
- linguaggio di programmazione funzionale tipizzato in modo dipendente
-
- adep:
libghc-filemanip-dev
(>= 0.3.6.2)
- manipolazione espressiva di file e directory per Haskell
-
- adep:
libghc-filemanip-dev
(<< 0.4)
- manipolazione espressiva di file e directory per Haskell