libghc-djinn-ghc-doc 0.0.2.3-4build2 (arm64 binary) in ubuntu xenial

 Djinn uses an theorem prover for intuitionistic propositional logic to generate
 a Haskell expression when given a type. This is the bridge from djinn-lib to
 GHC API.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

Details

Package version:
0.0.2.3-4build2
Source:
haskell-djinn-ghc 0.0.2.3-4build2 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Extra

Package relationships

Depends on:
  • haddock-interface-27
Recommends: