Description
Lambdabot Haskell plugins.
Description
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel.
Provided plugins:
- check
Quick, check!
- djinn
Derive implementations from types intuitinistically.
- eval
Run Haskell code.
- free
Theorems for free.
- haddock
Find modules implementing a function.
- hoogle
Search for functions by type using hoogle.
- instances
Query instances of type classes.
- pl
Produce point-less code.
- pointful
Produce point-ful code.
- pretty
Print code prettily.
- source
Show implementations of standard functions.
- type
Query type of expressions.
- undo
Unfold do notation.
- unmtl
Expand monad transformers stacks.