lambdabot-trusted-5.0: Lambdabot trusted code.

Safe HaskellTrustworthy
LanguageHaskell98

Lambdabot.Plugin.Haskell.Eval.Trusted

Documentation

module Math.OEIS

module Test.QuickCheck

myquickcheck :: Testable prop => prop -> String Source

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