lean-bindings: Haskell bindings to the Lean Theorem Prover.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

This package contains Haskell bindings to the Lean Theorem Prover.

To get started using this library, you should install Lean first, and then install this library, providing paths to the Lean header and library via --extra-include-dirs and --extra-lib-dirs repectively.

To use this library, we recomend using a qualified import, such as:

import qualified Language.Lean as Lean

The library currently is still a work in progress. To see the current interface, we recommend starting with the documentation for Language.Lean, and consulting the individual module imports there.

Properties

Versions	0.1
Change log	None available
Dependencies	base (>=4.6 && <5), bytestring, integer-gmp, integer-simple, lens, text [details]
License	Apache-2.0
Author	Joe Hendrix
Maintainer	jhendrix@galois.com
Category	Language, Formal Languages, Foreign, FFI, Theorem Provers
Source repo	head: git clone https://github.com/GaloisInc/lean-haskell-bindings.git
Uploaded	by jhendrix at 2015-09-09T21:46:33Z

Modules

[Index]

Flags

Automatic Flags

Name	Description	Default
use-integer-simple	Use this when compiling using a ghc that uses integer-simple instead of integer-gmp.	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

lean-bindings-0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

jhendrix

For package maintainers and hackage trustees

edit package information