Ubuntu

libghc-djinn-ghc-doc binary package in Ubuntu Bionic s390x

  1. Bionic (18.04)
  2. s390x
  3. libghc-djinn-ghc-doc

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2017-10-24 21:55:24 UTC Published Ubuntu Bionic s390x release universe doc Extra 0.0.2.3-6build5
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu

Source package