Lambdabot

From HaskellWiki

Revision as of 01:49, 19 February 2006 by DonStewart (talk | contribs) (Lambdabot migrates to the new wiki)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Lambdabot

Lambdabot is an IRC bot written over several years by those on the #haskell irc channel.

Lambdabot lives here. Lambdabot's source is available via a darcs repository, here

Lambdabot is written in Haskell, and supports plugins for adding new commands. It has many plugins, including:

Haskell evaluation
Hoogle interface
Pointfree refactoring
A theorem prover, Djinn.
Lambda calculus interpreter
Haskell type and kind checking
Dynamic plugin composition
Haskell library source lookup
Language translation
Quotes
Todo lists
Irc functions
Darcs patch tracking
A vixen/eliza personality
Random dice
Project database
Dictionary lookups
Karma tracking
User poll and election support
Quotes
Search google, wikipedia and more
Spell checking

See the sources or ask the bot itself. If you have any questions about Lambdabot, ask on the #haskell irc channel.

Retrieved from "https://wiki.haskell.org/index.php?title=Lambdabot&oldid=2367"