About

Metadata

  • Last updated , by ncfavier
  • License LicenseRef-GPL
  • Categories Development, Web Development
  • Maintained by: Naïm Favier <n@monade.li>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.6.3
  2. 9.4.5
  3. 9.2.4
  4. 9.0.2
  5. 8.10.4
  6. 8.8.4
  7. 8.6.5
  8. 8.4.4
  9. 8.2.2

Readme

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.