lambdabot-4.3.0.1: Lambdabot is a development tool and advanced IRC bot
Lambdabot.Plugin.Eval.Trusted
module Math.OEIS
module Test.QuickCheck
module Lambdabot.Plugin.Check.ShowQ
describeSequence :: SequenceData -> Maybe StringSource
newtype Mu f Source
Constructors
Fields
newtype Rec a Source