Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> haskell >> libghc-dec-prof
nabia  ] [  aramo  ]
[ Paquet source : haskell-dec  ]

Paquet : libghc-dec-prof (0.0.3-4build2)

decidable propositions; profiling libraries

This package provides a Dec type for decidable (nullary) relations.

This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Autres paquets associés à libghc-dec-prof

  • dépendances
  • recommandations
  • suggestions

Télécharger libghc-dec-prof

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 11,7 ko85 ko [liste des fichiers]
arm64 12,5 ko94 ko [liste des fichiers]
armhf 12,3 ko79 ko [liste des fichiers]
ppc64el 13,5 ko116 ko [liste des fichiers]