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

Package: 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.

Other Packages Related to libghc-djinn-lib-dev

  • depends
  • recommends
  • suggests

Download libghc-djinn-lib-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 176.9 kB1437 kB [list of files]
arm64 197.9 kB1883 kB [list of files]
armhf 192.5 kB1468 kB [list of files]
ppc64el 246.0 kB2707 kB [list of files]