Command line utility that shrinks/simplifies functions applications ?
Hi All! Haskell newbie here with a very simple question because google and hoogle are of no help. On the IRC channel #haskell (which I cannot access now from work) I saw somebody using a tool which automatically simplifies expressions,composition of multiple functions to the bare minimum. It was a query to lambdabot I think. Is that tool/library also standalone ? What's its name ? Where can I find it ? That really rocked ... Thanks, Nick
Hello Nicola, Thursday, November 30, 2006, 5:32:46 PM, you wrote:
On the IRC channel #haskell (which I cannot access now from work) I saw somebody using a tool which automatically simplifies expressions,composition of multiple functions to the bare minimum.
it is the IRC channel itself -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com
I believe you're talking about the `pl' plugin for lambdabot. Lambdabot has an offline mode, visit the homepage for the source: http://www.cse.unsw.edu.au/~dons/lambdabot.html There is also a web interface to lambdabot, but I can't seem to find the link. Cheers, Spencer Janssen On Nov 30, 2006, at 8:32 AM, Nicola Paolucci wrote:
Hi All!
Haskell newbie here with a very simple question because google and hoogle are of no help.
On the IRC channel #haskell (which I cannot access now from work) I saw somebody using a tool which automatically simplifies expressions,composition of multiple functions to the bare minimum. It was a query to lambdabot I think.
Is that tool/library also standalone ? What's its name ? Where can I find it ? That really rocked ...
Thanks, Nick _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Spencer,
On 11/30/06, Spencer Janssen
I believe you're talking about the `pl' plugin for lambdabot. Lambdabot has an offline mode, visit the homepage for the source: http://www.cse.unsw.edu.au/~dons/lambdabot.html
That's exactly what I was looking for! Thank you very much ! Regards, Nick
On 30/11/2006, at 17:04, Spencer Janssen wrote:
I believe you're talking about the `pl' plugin for lambdabot. Lambdabot has an offline mode, visit the homepage for the source: http://www.cse.unsw.edu.au/~dons/lambdabot.html
There is also a web interface to lambdabot, but I can't seem to find the link.
http://lambdabot.codersbase.com/ It's really nice, I use it all the time.
participants (4)
-
Bulat Ziganshin -
Nicola Paolucci -
Pepe Iborra -
Spencer Janssen