Announcing Djinn, new version 2004-12-13

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Announcing Djinn, new version 2004-12-13

Lennart Augustsson
There is a new version of Djinn available, with two notable
new features: Haskell data types can be defined and the
found functions are sorted (heuristically) to present the
best one first.

To play with Djinn do a
   darcs get http://darcs.augustsson.net/Darcs/Djinn
or get
   http://darcs.augustsson.net/Darcs/Djinn/Djinn.tar.gz
Then just type make.  (You need a Haskell 98 implementation and
some libraries.)  And then start djinn.

`-- Lennart
_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe
Reply | Threaded
Open this post in threaded view
|

[Haskell] Re: Announcing Djinn, new version 2004-12-13

Chung-chieh Shan-2
Lennart Augustsson <[hidden email]> wrote in article <[hidden email]> in gmane.comp.lang.haskell.general:
> There is a new version of Djinn available, with two notable
> new features: Haskell data types can be defined and the
> found functions are sorted (heuristically) to present the
> best one first.

Hello,

I wonder why the only Church numerals Djinn found were 0 and 1?

    Djinn> :set +m
    Djinn> num ? (a -> a) -> (a -> a)
    num :: (a -> a) -> a -> a
    num x1 x2 = x1 x2
    -- or
    num _ x2 = x2

Very cool, in any case.

        Ken

--
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Medicine makes people ill, mathematics makes them sad, and theology
makes them sinful. -- Martin Luther (1483-1546)

_______________________________________________
Haskell mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell
Reply | Threaded
Open this post in threaded view
|

Re: [Haskell] Re: Announcing Djinn, new version 2004-12-13

Lennart Augustsson
Well, the proof search is terminating (and complete) so
it has to stop somewhere.  That happens to be result with
this particular search strategy.

        -- Lennart

Chung-chieh Shan wrote:

> Lennart Augustsson <[hidden email]> wrote in article <[hidden email]> in gmane.comp.lang.haskell.general:
>
>>There is a new version of Djinn available, with two notable
>>new features: Haskell data types can be defined and the
>>found functions are sorted (heuristically) to present the
>>best one first.
>
>
> Hello,
>
> I wonder why the only Church numerals Djinn found were 0 and 1?
>
>     Djinn> :set +m
>     Djinn> num ? (a -> a) -> (a -> a)
>     num :: (a -> a) -> a -> a
>     num x1 x2 = x1 x2
>     -- or
>     num _ x2 = x2
>
> Very cool, in any case.
>
> Ken
>

_______________________________________________
Haskell-Cafe mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/haskell-cafe