haltavista-0.1: haltavista.cabal
Name: haltavista
Version: 0.1
Synopsis: looks for functions given a set of example input/outputs
Stability: alpha
Description:
Looks for functions in the local hoogle library given a set of example input/outputs.
Requires hoogle.
Usage:
> ~$ haltavista
> input_1_1 ... input_1_n output_1
> ...
> input_m_1 ... input_m_n output_m
> <EOF>
Example usage:
> ~$ haltavista
> 1 1 2
> 1 2 3
> <EOF>
>
> Prelude (+)
See README.md for more examples.
License: GPL-2
License-file: LICENSE
Author: Paul Brauner
Jun Inoue
Maintainer: polux2001@gmail.com
Copyright: Paul Brauner and Jun Inoue
Category: Development
Build-type: Simple
Extra-source-files: README.md
Cabal-version: >=1.4
Executable haltavista
Main-is: Main.hs
Build-depends: base >= 4 && <5, hint >= 0.3.2.3, process >= 1.0.1.3
Other-modules: HaltaVista.Types
HaltaVista.TypeInference
HaltaVista.Hoogle
HaltaVista.Match