Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> virtual >> haskell-agda-doc
[  etiona  ] [  nabia  ] [  aramo  ]

Paquet virtuel : haskell-agda-doc

Ceci est un paquet virtuel. Consultez la charte Debian pour une définition des paquets virtuels.

Paquets fournissant haskell-agda-doc

libghc-agda-doc
dependently typed functional programming language; documentation