Personal tools

Lambdabot

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Lambdabot migrates to the new wiki)
 
(Add some help to the complete noob about how to invoke lambdabot)
Line 33: Line 33:
 
* Search google, wikipedia and more
 
* Search google, wikipedia and more
 
* Spell checking
 
* Spell checking
  +
  +
All commands starts with an <TT>@</TT>. A command is invoked by writing <TT>@<command-name> [args]</TT>. For example <TT>@eval 1+2</TT> will make lambdabot respond with <TT>3</TT>. Good commands to know are <tt>@help</tt> and <tt>@listcommands</tt>.
   
 
See the sources or ask the bot itself. If you have any questions about
 
See the sources or ask the bot itself. If you have any questions about

Revision as of 01:50, 20 February 2006

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

All commands starts with an @. A command is invoked by writing @<command-name> [args]. For example @eval 1+2 will make lambdabot respond with 3. Good commands to know are @help and @listcommands.

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