Skip to content
Sections
>> Trisquel >> Paketit >> aramo >> haskell >> libghc-djinn-lib-dev
etiona  ] [  nabia  ] [  aramo  ]
[ Source: haskell-djinn-lib  ]

Paketti: libghc-djinn-lib-dev (0.0.1.3-4build2)

Generate Haskell code from a type

Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources.

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

Muut pakettiin libghc-djinn-lib-dev liittyvät paketit

  • depends
  • recommends
  • suggests

Imuroi libghc-djinn-lib-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
armhf 192.5 kt1468 kt [tiedostoluettelo]