lambdabot-4.3.0.1: Lambdabot is a development tool and advanced IRC bot

Safe Haskell	Trustworthy

Lambdabot.Plugin.Eval.Trusted

Documentation

module Math.OEIS

module Test.QuickCheck

module Lambdabot.Plugin.Check.ShowQ

describeSequence :: SequenceData -> Maybe String Source

newtype Mu f Source

Constructors

In
Fields out :: f (Mu f)

newtype Rec a Source

Constructors

InR
Fields outR :: Rec a -> a